$2$-Categories from a Gray Perspective

Edward Morehouse

In this paper we present $2$-category theory from the perspective of Gray-categories using the graphical calculus of separated surface diagrams. As an extended example we consider…