Goto Chapter: Top 1 2 3 4 Ind

[Top of Book] [Contents] [Next Chapter]

ZXCalculusForCAP

The category of ZX-diagrams

2025.02-01

15 February 2025

Fabian Zickgraf
Email: fabian.zickgraf@uni-siegen.de
Homepage: https://zickgraf.github.io/
Address:
Walter-Flex-Straße 3
57072 Siegen
Germany

Contents

1 The category of cospans

1.1 Constructors

1.1-1 CategoryOfCospans_for_ZXCalculus

  1.2-1 IsCategoryOfCospans
  1.2-2 IsCategoryOfCospansObject
  1.2-3 IsCategoryOfCospansMorphism

  1.3-1 UnderlyingCategory
  1.3-2 UnderlyingObject
  1.3-3 UnderlyingMorphismPair

2 The category of ZX diagrams

2.1 Constructors

  2.1-1 CategoryOfZXDiagrams
  2.1-2 ZX
  2.1-3 CategoryOfZXDiagrams_as_CategoryOfCospans_CategoryOfDecoratedQuivers

  2.2-1 IsCategoryOfZXDiagrams
  2.2-2 IsZXDiagramObject
  2.2-3 IsZXDiagramMorphism

2.3-1 AsInteger
2.3-2 VertexLabeledGraph

3.1 Importing and exporting ZX-diagrams

  3.1-1 ExportAsQGraphString
  3.1-2 ExportAsQGraphFile
  3.1-3 ImportFromQGraphString
  3.1-4 ImportFromQGraphFile

4 Precompilation

4.1 Precompiling the category of ZX-diagrams

[Top of Book] [Contents] [Next Chapter]

Goto Chapter: Top 1 2 3 4 Ind

generated by GAPDoc2HTML