Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation

Nathanael Arkor, John Bourke, Joanna Ko

Many structures of interest in two-dimensional category theory have aspects that are inherently strict. This strictness is not a limitation, but rather plays a fundamental role in…