Asphericity structures, smooth functors and fibrations (Q2569334): Difference between revisions

In his famous 1983's manuscript ``Pursuing Stacks'', \textit{A. Grothendieck} introduces the notion of proper and smooth functors (defined, like for schemes, when some change of base morphisms are isos). Such functors are simply characterized and the theory only depends on a few formal properties (including Quillen's Theorem A) of the class \(W_\infty\) of weak equivalences in \({\mathcal C}at\). This leads to define the notion of fundamental localizer \(W\) (a class of functors satisfying suitable conditions yet well known in homotopy theory). The present paper generalizes the theory of smooth functors in order to have a new characterization of fibred categories. Such are not exactly the \(W\)-smooth functors for a fundamental localizer \(W\). But it is done by associating smooth functors to \(a\), here defined, to get a minimal right asphericity structure for categories.