‣ FiniteCocompletion ( B ) | ( operation ) |
‣ FiniteCocompletion ( B, H ) | ( operation ) |
Returns: a CAP category
Construct a finite cocompletion category.
‣ UnderlyingCategory ( finite_cocompletion ) | ( attribute ) |
‣ EmbeddingOfUnderlyingCategory ( finite_cocompletion ) | ( attribute ) |
Returns: a CAP functor
‣ IsFiniteCocompletion ( category ) | ( filter ) |
Returns: true
or false
The GAP category of a finite cocompletion category.
‣ IsCellInFiniteCocompletion ( cell ) | ( filter ) |
Returns: true
or false
The GAP category of cells in a finite cocompletion category.
‣ IsObjectInFiniteCocompletion ( obj ) | ( filter ) |
Returns: true
or false
The GAP category of objects in a finite cocompletion category.
‣ IsMorphismInFiniteCocompletion ( mor ) | ( filter ) |
Returns: true
or false
The GAP category of morphisms in a finite cocompletion category.
generated by GAPDoc2HTML