Un Théorème A de Quillen pour les 2-foncteurs lax
We generalize Quillen's Theorem A to diagrams of lax 2-functors which commute up to transformation. It follows from a special case of this result that 2-categories are models for homotopy types.
arXiv subjects
Publications and source records attributed to Jonathan Chiche.
We generalize Quillen's Theorem A to diagrams of lax 2-functors which commute up to transformation. It follows from a special case of this result that 2-categories are models for homotopy types.
On développe une théorie de l'homotopie des 2-catégories analogue à la théorie de l'homotopie des catégories développée par Grothendieck dans "À la poursuite des champs". Il s'agit de la thèse de doctorat de l'auteur. We develop a homotopy theory of 2-categories analogous to Grothendieck's homotopy theory of categories developed in "Pursuing Stacks." This is the author's PhD thesis.
This text develops a homotopy theory of 2-categories analogous to Grothendieck's homotopy theory of categories developed in "Pursuing Stacks". We define the notion of "basic localizer of 2-Cat", 2-categorical generalization of Grothendieck's notion of basic localizer, and we show that the homotopy theories of $Cat$ and 2-$Cat$ are equivalent in a remarkably strong sense: there is an isomorphism, compatible with localization, between the ordered classes of basic localizers of $Cat$ and 2-$Cat$. It follows that weak homotopy equivalences in 2-$Cat$ can be characterised in an internal way, without mentioning topological spaces or simplicial sets.