‣ IsFreeDistributiveCompletion( category ) | ( filter ) |
Returns: true or false
The GAP category of a free distributive completion category.
‣ IsCellInFreeDistributiveCompletion( cell ) | ( filter ) |
Returns: true or false
The GAP category of cells in a free distributive completion category.
‣ IsObjectInFreeDistributiveCompletion( obj ) | ( filter ) |
Returns: true or false
The GAP category of objects in a free distributive completion category.
‣ IsMorphismInFreeDistributiveCompletion( mor ) | ( filter ) |
Returns: true or false
The GAP category of morphisms in a free distributive completion category.
‣ UnderlyingCategory( finite_completion ) | ( attribute ) |
‣ EmbeddingOfUnderlyingCategory( finite_completion ) | ( attribute ) |
Returns: a CAP functor
‣ FreeDistributiveCompletion( B ) | ( operation ) |
‣ FreeDistributiveCompletion( B, H ) | ( operation ) |
Returns: a CAP category
Construct a free distributive completion category.
generated by GAPDoc2HTML