[MathJax on]

2 The category of cospans

2.1 Constructors

2.1-1 CategoryOfCospans_for_ZXCalculus

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.

2.2 Attributes

2.2-1 UnderlyingCategory

The category underlying a category of cospans.

2.2-2 UnderlyingObject

The object defining an object in a category of cospans.

2.2-3 UnderlyingMorphismPair

The pair of morphisms defining a morphism in a category of cospans.

2.3 Filters

2.3-1 IsCategoryOfCospans

The filter of categories of cospans.

2.3-2 IsCategoryOfCospansObject

The filter of objects in a category of cospans.

2.3-3 IsCategoryOfCospansMorphism

The filter of morphisms in a category of cospans.

generated by GAPDoc2HTML