Weak complicial sets, a simplicial weak omega-category theory. Part I: basic homotopy theory (original) (raw)

Mathematics > Category Theory

arXiv:math/0604414 (math)

[Submitted on 19 Apr 2006 (v1), last revised 12 Jul 2006 (this version, v3)]

Abstract: This paper develops the foundations of a simplicial theory of weak omega-categories, which builds upon the insights originally expounded by Ross Street in his 1987 paper on oriented simplices. The resulting theory of weak complicial sets provides a common generalisation of the theories of (strict) omega-categories, Kan complexes and Joyal's quasi-categories. We generalise a number of results due to the current author with regard to complicial sets and strict omega-categories to provide an armoury of well behaved technical devices, such as joins and Gray tensor products, which will be used to study these the weak omega-category theory of these structures in a series of companion papers. In particular, we establish their basic homotopy theory by constructing a Quillen model structure on the category of stratified simplicial sets whose fibrant objects are the weak complicial sets. As a simple corollary of this work we provide an independent construction of Joyal's model structure on simplicial sets for which the fibrant objects are the quasi-categories.

Submission history

From: Dominic Verity [view email]
[v1] Wed, 19 Apr 2006 07:28:38 UTC (86 KB)
[v2] Fri, 26 May 2006 09:02:34 UTC (88 KB)
[v3] Wed, 12 Jul 2006 08:30:21 UTC (86 KB)

Bibliographic Tools

Bibliographic and Citation Tools

Bibliographic Explorer Toggle

Code, Data, Media

Code, Data and Media Associated with this Article

Demos

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.