A characterization of representable intervals

Michael A. Warren

In this note we provide a characterization, in terms of additional algebraic structure, of those strict intervals (certain cocategory objects) in a symmetric monoidal closed category $\cal E$ that are representable in the sense of inducing on $\cal E$ the structure of a finitely bicomplete 2-category. Several examples and connections with the homotopy theory of 2-categories are also discussed.

2000 MSC: Primary: 18D05, Secondary: 18D35

Theory and Applications of Categories, Vol. 26, 2012, No. 8, pp 204-232.

Published 2012-04-19.

TAC Home