‣ CategoryOfCospans_for_ZXCalculus( C ) | ( operation ) |
Returns: a category of cospans
Creates a category of cospans in the cocartesian category C with a rigid symmetric monoidal structure induced by the cocartesian structure of C.
‣ IsCategoryOfCospans | ( filter ) |
The filter of categories of cospans.
‣ IsCategoryOfCospansObject | ( filter ) |
The filter of objects in a category of cospans.
‣ IsCategoryOfCospansMorphism | ( filter ) |
The filter of morphisms in a category of cospans.
‣ UnderlyingCategory( obj ) | ( attribute ) |
The category underlying a category of cospans.
‣ UnderlyingObject( obj ) | ( attribute ) |
The object defining an object in a category of cospans.
‣ UnderlyingMorphismPair( obj ) | ( attribute ) |
The pair of morphisms defining a morphism in a category of cospans.
generated by GAPDoc2HTML