A model structure on internal categories in simplicial sets

Abstract

We put a model structure on the category of categories internal to simplicial sets whose weak equivalences are reflected by the nerve functor to bisimplicial sets with Rezk's model structure. This model structure is shown to be Quillen equivalent to Rezk's model structure, thus internal category are another model for $(\infty ,1)$-categories.

39 pages

References in corpus (3)

• (Infinity,2)-Categories and the Goodwillie Calculus I
• From manifolds to invariants of E_n-algebras
• Homotopical resolutions associated to deformable adjunctions

Cited by in corpus (7)

• (Op)lax natural transformations, twisted quantum field theories, and "even higher" Morita categories
• All $(\infty ,1)$-toposes have strict univalent universes
• The $\mathbb{R}$-Local Homotopy Theory of Smooth Spaces
• Rigidification of higher categorical structures
• Equivariant infinite loop space theory, the space level story
• From dependent type theory to higher algebraic structures
• Segal-type models of higher categories