The groupoidal analogue to Joyal's category is a test category

DOI10.1007/S10485-011-9255-2MaRDI QIDQ1928247zbMATH OpenOpenAlexFDO

Authors Dimitri Ara

Publication date 2 January 2013

Published in Applied Categorical Structures (Search for Journal in Brave)

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

zbMATH Keywords

\(\infty\)-category\(\infty\)-groupoidcell categorydécalageglobular extensionhomotopylocalizationtest categoryweak equivalence

Mathematics Subject Classification ID

Localization of categories, calculus of fractions (18E35) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) 2-categories, bicategories, double categories (18N10) Homotopical algebra, Quillen model categories, derivators (18N40) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) Classification of homotopy type (55P15) Localization and completion in homotopy theory (55P60) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40)

Abstract: We introduce the groupoidal analogue ildeTheta to Joyal's cell category Theta and we prove that ildeTheta is a strict test category in the sense of Grothendieck. This implies that presheaves on ildeTheta model homotopy types in a canonical way. We also prove that the canonical functor from Theta to ildeTheta is aspherical, again in the sense of Grothendieck. This allows us to compare weak equivalences of presheaves on ildeTheta to weak equivalences of presheaves on Theta. Our proofs apply to other categories analogous to Theta.

Recommendations

• Joyal's category \(\varTheta\) is a test category
• An \(\omega\)-category with all duals is an \(\omega\)-groupoid
• Groupoids and skeletal categories form a pretorsion theory in \(\mathsf{Cat}\)
• ∞-Groupoids as a model for a homotopy category
• scientific article; zbMATH DE number 4138015
• The Grothendieck group of a homotopic category
• A groupoid formulation of the Baire category theorem
• Picard groupoids and \(\Gamma\)-categories
• Groupoids in categories with pretopology
• The equivalent descriptions of the category of -groups

Cites work

• A cellular nerve for higher categories
• Complexe cotangent et déformations. II
• Duality for simple -categories and disks
• scientific article; zbMATH DE number 2125667 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 5256216 (Why is no real title available?)
• scientific article; zbMATH DE number 3414502 (Why is no real title available?)
• Iterated wreath product of the simplex category and iterated loop spaces
• Joyal's category \(\varTheta\) is a test category
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• The Brown-Golasiński model structure on strict -groupoids revisited
• The universal property of the multitude of trees

Cited in

(7)

• On the homotopy theory of Grothendieck \(\infty \)-groupoids
• Towards a Thomason model structure on the category of strict \(n\)-categories
• Strict -groupoids are Grothendieck -groupoids
• Monads with arities and their associated theories
• The dendroidal category is a test category
• Joyal's category \(\varTheta\) is a test category
• On autoequivalences of the \((\infty,1)\)-category of \(\infty\)-operads

This page was built for publication: The groupoidal analogue \(\widetilde{{\Theta}}\) to Joyal's category \(\Theta\) is a test category

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1928247)