‣ CategoryOfZXDiagrams( arg ) | ( function ) |
Returns: a category of zx diagrams
Creates a category of ZX diagrams.
‣ ZX | ( global variable ) |
The default instance of the category of ZX diagrams. It is automatically created while loading this package.
‣ CategoryOfZXDiagrams_as_CategoryOfCospans_CategoryOfDecoratedQuivers( arg ) | ( function ) |
Returns: a category of zx diagrams
Creates a category of ZX diagrams as a tower. Only available if the package FunctorCategories is available.
‣ IsCategoryOfZXDiagrams | ( filter ) |
The filter of categories of ZX-diagrams.
‣ IsZXDiagramObject | ( filter ) |
The filter of objects in a category of ZX-diagrams.
‣ IsZXDiagramMorphism | ( filter ) |
The filter of morphisms in a category of ZX-diagrams.
‣ AsInteger( obj ) | ( attribute ) |
The integer defining an object in a category of ZX-diagrams.
‣ VertexLabeledGraph( mor ) | ( attribute ) |
The labeled graph defining a morphism in a category of ZX-diagrams.
generated by GAPDoc2HTML