Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Soit (A, J) un site, c'est-à-dire, une catégorie A et une topologie de Grothendieck J sur A. Si F : A -> B est un foncteur, on peut définir par J une topologie de Grothendieck K = FJ sur B. Alors, il existe un site maximal (Ã, Ĩ) avec F : Ã-> B qui divise F et FJ = K. (A, J) est un genre de complétion: en effet, quand A est la catégorie des espaces compacts, F le foncteur oubliant à (Ens), àest la catégorie des espaces quasi-topologiques.
