‣ EmbeddingOfUnderlyingCategory( KC ) | ( attribute ) |
Returns: a CAP functor
The full embedding functor from the additive category \(C\) underlying the co-Freyd (=kernel closure) category KC into KC.
‣ ExtendFunctorToCoFreydCategory( AC ) | ( attribute ) |
Returns: a CAP functor
The full embedding functor from the additive category \(C\) underlying the kernel closure category FC into FC.
generated by GAPDoc2HTML