A 2-categorical pasting theorem (Q912202)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A 2-categorical pasting theorem |
scientific article |
Statements
A 2-categorical pasting theorem (English)
0 references
1990
0 references
Pasting is a fundamental operation in a 2-category. Using the techniques of graph theory and results about plane graphs, the author gives precise meaning to pasting schemes and their labellings. He proves that every labelling of a pasting scheme in a 2-category has a unique composite.
0 references
2-category
0 references
plane graphs
0 references
pasting schemes
0 references
labelling
0 references
