‣ HomFunctorToCategoryOfQuiverRepresentations ( collection ) | ( attribute ) |
Returns: a functor
The argument is an exceptional collection E which is defined by some full subcategory generated by finite number of objects \((E_i)_i\) in some category \(C\) with homomorphism structure. The output is the functor \(\mathrm{Hom}(\oplus_i E_i,-):C \to \mathrm{mod}\mbox{-}\mathrm{End}(\oplus_i E_i)\).
‣ HomFunctorToCategoryOfQuiverRepresentationsOnIndecInjectiveObjects ( collection ) | ( attribute ) |
Returns: a functor
The argument is an exceptional collection E which is defined by some full subcategory generated by finite number of objects \((E_i)_i\) in a category of quiver representations \(C\). The output is the functor \(\mathrm{Hom}(\oplus_i E_i,-)\): FullSubcategoryGeneratedByIndecInjectiveObjects
\((C) \to \mathrm{mod}\mbox{-}\mathrm{End}(\oplus_i E_i)\).
‣ HomFunctorToCategoryOfQuiverRepresentationsOnInjectiveObjects ( collection ) | ( attribute ) |
Returns: a functor
The argument is an exceptional collection E which is defined by some full subcategory generated by finite number of objects \((E_i)_i\) in a category of quiver representations \(C\). The output is the functor \(\mathrm{Hom}(\oplus_i E_i,-)\):FullSubcategoryGeneratedByInjectiveObjects
\((C) \to \mathrm{mod}\mbox{-}\mathrm{End}(\oplus_i E_i)\).
generated by GAPDoc2HTML