Idea
| Surface diagrams [[categorification |
categorify]] [[string diagram |
string diagrams]]: while string diagram calculus describes the composition of morphisms in 2-categories, surface diagram calculus describes composition of morphisms in (non-strict) [[3-category |
3-categories]]. |
Variants
There are several discussions and definitions of surface diagrams available.
- Trimble via stratified Morse theory.
-
-
| Hummon’s notion for [[Gray-category |
Gray categories]] |
| Surface diagrams are special cases ($n = 3$) of [[manifold diagram |
manifold $n$-diagrams]]. |
References
- {#Hummon} Benjamin Hummon. Surface diagrams for gray-categories. Phd Thesis, UC San Diego. pdf
- {#BMS} John Barrett, Catherine Meusburger, Gregor Schaumann. Gray categories with duals and their diagrams. arXiv
- {#Trimble} Todd Trimble, surface diagram
