$2$-Categories from a Gray Perspective
Category Theory
2022-03-17 v1
Abstract
In this paper we present -category theory from the perspective of Gray-categories using the graphical calculus of separated surface diagrams. As an extended example we consider cones and limits of -functors. Then we use the canonical adjunction between -computads and -categories to interpret the comparison structure of lax functors and extend the surface diagram calculus with compositor sheets in order to represent and reason about them.
Cite
@article{arxiv.2203.08783,
title = {$2$-Categories from a Gray Perspective},
author = {Edward Morehouse},
journal= {arXiv preprint arXiv:2203.08783},
year = {2022}
}