String diagram
String diagrams are a convenient notation for depicting 0-cells, 1-cells, and 2-cells in a bicategory, and in particular, objects and morphisms in a monoidal category (this is a special case called a Single faced string diagram):
- a 0-cell is depicted as a face (in the case of a monoidal category there is only a single 0-cell)
- a 1-cell
on the right and on the left; - a 2-cell
coming out the bottom and coming out the top.
Horizontal composition is represented by horizontal juxtaposition, and vertical composition is represented by vertical juxtaposition.
String diagrams are often described as Poincaré dual to their counterpart in commutative diagrams. In the former 0-cells are points, in the latter they are faces, &c.
Bibliography
- 2011. Physics, topology, logic and computation: A Rosetta stone
- 1991. The geometry of tensor calculus, I
- 1996. Categorical structures
#state/stub | #lang/en | #SemBr