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.
http://www.tac.mta.ca/tac/volumes/26/8/26-08.dvi
http://www.tac.mta.ca/tac/volumes/26/8/26-08.ps
http://www.tac.mta.ca/tac/volumes/26/8/26-08.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/26/8/26-08.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/26/8/26-08.ps