Gray-categories from the perspective of surface diagrams

$2$-Categories from a Gray Perspective

In this paper we present 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 then we use the canonical adjunction between and to interpret the comparison structure of lax functors and extend the surface diagramcalculus with compositor sheets in order to represent and reason about them.As an extended example we consider cones and limits of then we use the canonical adjunction between and to interpret the comparison structure of lax functors and extend the surface diagramcalculus with compositor sheets in order to represent and reason about them.