Mathematics – Category Theory
Scientific paper
2006-04-19
Mathematics
Category Theory
65 pages, further updates to the material on quasi-categories, minor corrections
Scientific paper
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.
No associations
LandOfFree
Weak complicial sets, a simplicial weak omega-category theory. Part I: basic homotopy theory does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Weak complicial sets, a simplicial weak omega-category theory. Part I: basic homotopy theory, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Weak complicial sets, a simplicial weak omega-category theory. Part I: basic homotopy theory will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-237194