‣ 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