Joyal's category \(\varTheta\) is a test category (Q626737): Difference between revisions

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.