Spectres et dualités (3) : lemme de comparaison
*********************************
Lemme de comparaison de Grothendieck (appliqué aux sites pré-ordonnés avec topologie sous-canonique)
Lemme de comparaison de Grothendieck (appliqué aux sites pré-ordonnés avec topologie sous-canonique)
Remarque : ensembles pré-ordonnés vus comme catégories.
Rappel de l'énonce du lemme de comparaison ( J-densité => équivalence de topos)
Rappel de l'énonce du lemme de comparaison ( J-densité => équivalence de topos)
Exemple : bases d'un espace topologique
Exemple : bases d'un espace topologique
"La théorie des topos suggère de regarder des bases pour lesquelles il y a des descriptions intrinsèques" (cf. bases de Wallman)
"La théorie des topos suggère de regarder des bases pour lesquelles il y a des descriptions intrinsèques" (cf. bases de Wallman)