Cofibrant objects among higher-dimensional categories
Polygraphs [\textit{A. Burroni}, Lect. Notes Comput. Sci. 530, 94--105 (1991; Zbl 0788.18004), Theor. Comput. Sci. 115, No. 1, 43--62 (1993; Zbl 0791.08004)] or computads [\textit{J. M. Barja Perez}, ``Morita theorems for triples in closed categories, Alxebra. 20 (1977; Zbl 0376.18004); \textit{R. Street}, J. Pure Appl. Algebra 8, 149--181 (1976; Zbl 0335.18005)] are structured systems of generators for \(\infty\)-categories, extending the familiar notion of presentation of generators and relations beyond monoids or groups. The principal purpose in this paper is to prove that all cofibrant \(\infty\)-categories are freely generated by polygraphs, thus establishing a simple, abstract characterization of the free objects, otherwise defined by a rather complex inductive construction. The key point is that the full subcategory of \(\mathbf{Cat}_{\infty}\) whose objects are freely generated by polygraphs is Cauchy-complete, which means that its idempotent endomorphisms split.
- Polygraphic resolutions and homology of monoids
- Homology of categories via polygraphic resolutions
- Rewriting modulo isotopies in pivotal linear (2,2)-categories
- A combinatorial-topological shape category for polygraphs
- Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category
- Cofibrations in the category of Frölicher spaces. I.
- A categorical characterization of strong Steiner \(\omega\)-categories
- Polygraphs of finite derivation type
- Orientals and cubes, inductively
- The folk model category structure on strict \(\omega\)-categories is monoidal
- scientific article; zbMATH DE number 1279309 (Why is no real title available?)
- A coherence theorem for pseudonatural transformations
- Unifying notions of pasting diagrams
- Polygraphs and Discrete Conduch{\'e} $\omega$-Functors
- Non-unital polygraphs form a presheaf category
- Rewriting in Gray categories with applications to coherence
- Orientals as free algebras
- Polygraphic homology of local systems
- Free precategories as presheaf categories
- An inductive model structure for strict -categories
- Hom -categories of a computad are free
- An extension of Batanin's approach to globular algebras
- A folk model structure on omega-cat
- Homomorphisms of higher categories
This page was built for publication: Cofibrant objects among higher-dimensional categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2472759)
