A categorical characterization of strong Steiner \(\omega\)-categories

DOI10.1016/j.jpaa.2022.107313OpenAlexW4313419864MaRDI QIDQ2690449

Martina Rovelli, Viktoriya Ozornova, Dimitri Ara, Andrea Gagna

Publication date: 17 March 2023

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2204.12962

zbMATH Keywords

polygraphscomputadsaugmented directed chain complexesstrict \(\omega\)-categoriesstrong Steiner \(\omega\)-categoriesstrong Steiner complexes

Mathematics Subject Classification ID

Chain complexes (category-theoretic aspects), dg categories (18G35) Strict omega-categories, computads, polygraphs (18N30)

Related Items (3)

A Quillen adjunction between globular and complicial approaches to \((\infty, n)\)-categories ⋮ Nerves and cones of free loop-free \(\omega\)-categories ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Higher-dimensional normalisation strategies for acyclicity
• The algebraic structure of the universal complicial sets
• Higher-dimensional word problems with applications to equational logic
• Simple omega-categories and chain complexes
• A folk model structure on omega-cat
• Polygraphic resolutions and homology of monoids
• The algebra of oriented simplexes
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• Strict \(n\)-categories and augmented directed complexes model homotopy types
• A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof
• Omega-categories and chain complexes
• Multiple categories: The equivalence of a globular and a cubical approach
• Homology of categories via polygraphic resolutions
• Orientals as free weak \(\omega \)-categories
• An algebraic representation of globular sets
• Nerves of 2-categories and 2-categorification of \(( \infty ,2)\)-categories
• Towards a Thomason model structure on the category of strict \(n\)-categories
• Cofibrant objects among higher-dimensional categories
• Weak omega-categories from intensional type theory
• Polygraphs of finite derivation type
• A Quillen Theorem B for strict ∞‐categories
• Join and slices for strict $\infty$-categories
• Unifying notions of pasting diagrams
• On the unicity of the theory of higher categories
• A Quillen's Theorem A for strict $\infty$-categories II: the $\infty$-categorical proof
• Non-unital polygraphs form a presheaf category
• Complicial sets characterising the simplicial nerves of strict 𝜔-categories

This page was built for publication: A categorical characterization of strong Steiner \(\omega\)-categories