‣ 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