‣ 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