Showing math.CTShow all
2 papers · 1 filter
math.CT2025
Limits of -categories with structure and their lax morphisms
Joanna Ko
Riehl and Verity have established that for a quasi-category that admits limits, and a homotopy coherent monad on which does not preserve limits, the Eilenberg-Moore object…
math.CT2024
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…