Joyal's category is a test category

DOI10.1016/J.JPAA.2010.07.003MaRDI QIDQ626737zbMATH OpenOpenAlexFDO

Authors Denis-Charles Cisinski, Georges Maltsiniotis

Publication date 18 February 2011

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

Full work available at URL https://doi.org/10.1016/j.jpaa.2010.07.003

zbMATH Keywords

décalagesstable self-homotopy equivalencestest categories

Mathematics Subject Classification ID

Localization of categories, calculus of fractions (18E35) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Classification of homotopy type (55P15) Localization and completion in homotopy theory (55P60) Abstract complexes in algebraic topology (55U05) Simplicial sets and complexes in algebraic topology (55U10) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40)

Review text

This is an article about category theory which, as usual, requires a big surply of definitions and machinery. There is first of all, a category \(\Theta\) which was introduced by \textit{A. Joyal}, while on the other hand there are so called test categories (as well as weak test categories, local test categories) which were introduced by \textit{A. Grothendieck} in a manuscript from 1983, or in a Bourbaki seminar report from 1961. The main result is that \(\Theta\) is a test category in the sense of Grothendieck. This assertion is achieved by applying a methold called ``décalages which has many additional applications in category theory involving \(\infty\)-categories (strict and non-strict) and \(\infty\)-groupoids. The explicit definitions as well as details of proofs are much too involved to report them in a review.

Recommendations

• [[:Publication:1928247|The groupoidal analogue \(\widetildeTemplate:\Theta\) to Joyal's category \(\Theta\) is a test category]]
• The dendroidal category is a test category
• Grothendieck's homotopy theory
• Configuration spaces and \(\Theta_n\)
• Simple omega-categories and chain complexes

Cites work

• A Cartesian presentation of weak \(n\)-categories
• A cellular nerve for higher categories
• Batanin higher groupoids and homotopy types
• Complexe cotangent et déformations. II
• Duality for simple -categories and disks
• Grothendieck's homotopy theory
• Higher algebraic K-theory: I
• scientific article; zbMATH DE number 3372161 (Why is no real title available?)
• Iterated wreath product of the simplex category and iterated loop spaces
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• Presheaves as models for homotopy types
• Simple omega-categories and chain complexes
• The cubical category with connections is a strict test category
• The universal property of the multitude of trees

Cited in

(7)

• A Quillen's Theorem A for strict -categories. I: The simplicial proof
• [[:Publication:1928247|The groupoidal analogue \(\widetildeTemplate:\Theta\) to Joyal's category \(\Theta\) is a test category]]
• Comparison of \(n\)-categorical nerves
• The dendroidal category is a test category
• Polygraphic homology of local systems
• Presheaves of groupoids as models for homotopy types
• The cubical category with connections is a strict test category

This page was built for publication: Joyal's category \(\varTheta\) is a test category

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