Isomorphisme de catégories

Soit ${\displaystyle {\mathcal {C}}}$ la catégorie des espaces topologiques munis d'une topologie d'Alexandroff, et ${\displaystyle {\mathcal {D}}}$ la catégorie des ensembles munis d'un préordre. Alors les deux catégories sont isomorphes au moyen des deux foncteurs suivants :

• F associe à un espace topologique le même espace, muni de la relation de préordre suivante : ${\displaystyle x\leq y}$ si et seulement si x est adhérent à {y}. F transforme une application continue f de X dans Y en la même application, mais vue comme application croissante de F(X) dans F(Y).
• G associe à un espace préordonné le même espace muni de la topologie engendrée par les ouverts ${\displaystyle \{y\,|\,x\leq y\}}$. G transforme une application croissante f de A dans B en la même application, mais vue comme application continue de G(A) dans G(B).

• Portail des mathématiques