‣ FiniteCocompletion( B ) | ( operation ) |
‣ FiniteCocompletion( B, H ) | ( operation ) |
Returns: a CAP category
Construct a finite cocompletion category.
‣ UnderlyingCategory( finite_cocompletion ) | ( attribute ) |
‣ YonedaEmbeddingOfUnderlyingCategory( 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