A Gray-categorical pasting theorem
Theory and applications of categories, Tome 39 (2023), pp. 150-171
Cet article a éte moissonné depuis la source Theory and Applications of Categories website
The notion of Gray-category, a semi-strict 3-category in which the middle four interchange is weakened to an isomorphism, is central in the study of three-dimensional category theory. In this context it is common practice to use 2-dimensional pasting diagrams to express composites of 2-cells, however there is no thorough treatment in the literature justifying this procedure. We fill this gap by providing a formal approach to pasting in Gray-categories and by proving that such composites are uniquely defined up to a contractible groupoid of choices.
Publié le :
Classification :
18N20, 16S15, 03E20
Keywords: Gray-categories, pasting diagrams
Keywords: Gray-categories, pasting diagrams
@article{TAC_2023_39_a4,
author = {Nicola Di Vittorio},
title = {A {Gray-categorical} pasting theorem},
journal = {Theory and applications of categories},
pages = {150--171},
year = {2023},
volume = {39},
language = {en},
url = {http://geodesic.mathdoc.fr/item/TAC_2023_39_a4/}
}
Nicola Di Vittorio. A Gray-categorical pasting theorem. Theory and applications of categories, Tome 39 (2023), pp. 150-171. http://geodesic.mathdoc.fr/item/TAC_2023_39_a4/