Orientals as free weak ω-categories
نویسندگان
چکیده
The orientals are the free strict ω-categories on simplices introduced by Street. aim of this paper is to show that they also weak same generating data. More precisely, we exhibit complicial nerves as fibrant replacements in Verity's model structure for sets.
منابع مشابه
Weak ω-Categories as ω-Hypergraphs
In this paper, firstly, we introduce a higher-dimensional analogue of hypergraphs, namely ω-hypergraphs. This notion is thoroughly flexible because unlike ordinary ω-graphs, an n-dimensional edge called an n-cell has many sources and targets. Moreover, cells have polarity, with which pasting of cells is implicitly defined. As examples, we also give some known structures in terms of ω-hypergraph...
متن کاملWeak Ω-categories from Intensional Type Theory
We show that for any type in Martin-Löf Intensional Type Theory, the terms of that type and its higher identity types form a weak ω-category in the sense of Leinster. Precisely, we construct a contractible globular operad PMLId of definable “composition laws”, and give an action of this operad on the terms of any type and its identity types.
متن کاملA type-theoretical definition of weak ω-categories
We introduce a dependent type theory whose models are weak ω-categories, generalizing Brunerie’s definition of ω-groupoids. Our type theory is based on the definition of ω-categories given by Maltsiniotis, himself inspired by Grothendieck’s approach to the definition of ω-groupoids. In this setup, ω-categories are defined as presheaves preserving globular colimits over a certain category, calle...
متن کاملWeak Complicial Sets A Simplicial Weak ω-Category Theory Part II: Nerves of Complicial Gray-Categories
This paper continues the development of a simplicial theory of weak ω-categories, by studying categories which are enriched in weak complicial sets. These complicial Gray-categories generalise both the Kan complex enriched categories of homotopy theory and the 3-categorical Gray-categories of weak 3-category theory. We derive a simplicial nerve construction, which is closely related to Cordier ...
متن کاملSymmetric Bimonoidal Intermuting Categories and ω × ω Reduced Bar Constructions
A new, self-contained, proof of a coherence result for categories equipped with two symmetric monoidal structures bridged by a natural transformation is given. It is shown that this coherence result is sufficient for ω×ω-indexed family of iterated reduced bar constructions based on such a category. Mathematics Subject Classification (2000): 18D10, 55P47
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2023
ISSN: ['1873-1376', '0022-4049']
DOI: https://doi.org/10.1016/j.jpaa.2022.107230