Separable morphisms of simplicial sets.
Square groups are gadgets classifying quadratic endofunctors of the category of groups. Applying such a functor to the Kan simplicial loop group of the 2-dimensional sphere, one obtains a one-connected three-type. We consider the problem of characterization of those three-types X which can be obtained in this way. We solve this problem in some cases, including the case when π2(X) is a finitely generated abelian group. The corresponding stable problem is solved completely.
Le but de cet article est de généraliser la théorie des foncteurs lisses de Grothendieck afin d’inclure dans ce cadre la théorie des catégories fibrées. On obtient en particulier une nouvelle caractérisation des catégories fibrées.
Nous introduisons une nouvelle définition d’un invariant bicat pour une algèbre de cochaînes connexe et 1-connexe, de type fini sur un corps de caractéristique quelconque, et nous montrons d’une part, qu’il coïncide avec l’invariant cat introduit par S. Halperin et J.-M. Lemaire et d’autre part, qu’il est invariant par extension de corps et qu’il vérifie la conjecture de Ganéa.