Un Th\'eor\`eme A de Quillen pour les 2-foncteurs lax

TL;DR

This paper extends Quillen's Theorem A to lax 2-functors, showing that 2-categories serve as models for homotopy types by allowing diagrams that commute up to transformation.

Contribution

It generalizes Quillen's Theorem A to lax 2-functors, broadening the applicability of homotopical methods in higher category theory.

Findings

2-categories model homotopy types

Generalization of Quillen's Theorem A to lax 2-functors

Diagrams commute up to transformation in the generalized setting

Abstract

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.