[MathJax on]

11 Kernel closure

11.1 Constructors

11.1-1 EmbeddingOfUnderlyingCategory

Returns: a CAP functor

The full embedding functor from the additive category C underlying the co-Freyd (=kernel closure) category KC into KC.

11.1-2 ExtendFunctorToCoFreydCategory

Returns: a CAP functor

The full embedding functor from the additive category C underlying the kernel closure category FC into FC.

generated by GAPDoc2HTML