‣ EmbeddingOfUnderlyingCategory( SC ) | ( attribute ) |
Returns: a CAP functor
The full embedding functor from the pre-abelian category C underlying the strict additive closure category SC into SC.
‣ ExtendFunctorToStrictAdditiveClosure( SC ) | ( attribute ) |
Returns: a CAP functor
The full embedding functor from the preadditive category C underlying the strict additive closure category SC into SC.
generated by GAPDoc2HTML