A model structure on internal categories in simplicial sets

Geoffroy Horel

We put a model structure on the category of categories internal to simplicial sets. The weak equivalences in this model structure are preserved and reflected by the nerve functor to bisimplicial sets with the complete Segal space model structure. This model structure is shown to be a model for the homotopy theory of infinity categories. We also study the homotopy theory of internal presheaves over an internal category.

Keywords: internal categories, complete Segal spaces, infinity categories

2010 MSC: 55U40, 18C35, 18D99

Theory and Applications of Categories, Vol. 30, 2015, No. 20, pp 704-750.

Published 2015-05-26.

http://www.tac.mta.ca/tac/volumes/30/20/30-20.pdf

TAC Home