La branche de la topologie qui formule et analyse les constructions, propriétés et classes d'espaces topologiques en termes catégoriques — en utilisant foncteurs, transformations naturelles, limites et colimites, adjoints, enrichissements et sous‑catégories réfléchissantes ou corefléchissantes de Top.

Principe

La topologie catégorique recherche des caractérisations universelles (propriétés universelles) des notions topologiques, exprime la continuité et les constructions fonctoriellement, et étudie comment les limites catégoriques et les adjoints capturent des constructions classiques telles que produits, quotients et topologies d'espaces de fonctions.

Démonstration

Le produit topologique est le produit catégorique dans Top ; la topologie compact‑ouverte apparaît sous l'angle d'un objet exponentiel lorsque celui‑ci existe ; les foncteurs espace discret et espace grossier sont adjoints à gauche et à droite du foncteur d'oubli Top→Set, et les sous‑catégories réfléchissantes classifient les axiomes de séparation par réflexions universelles.

Mauvaise application

Forcer toute construction ponctuelle ou métrique dans un cadre catégorique sans tenir compte des problèmes de taille ou de l'existence des limites requises, ou supposer l'existence catégorique sans vérifier les limites concrètes de Top (par exemple certains exponentiels n'existent pas dans Top).

Conséquence

Les méthodes catégoriques unifient des constructions disparates, clarifient pourquoi certaines constructions existent ou échouent, permettent le transfert de propriétés le long des adjoints et révèlent une fonctorialité cachée simplifiant preuves et généralisations entre catégories d'espaces.

Inversion

La posture inverse privilégie les techniques classiques pointues et des arguments élémentaires plutôt que les propriétés universelles ; inverser l'approche peut rendre les calculs concrets et les contre‑exemples plus transparents même s'ils sont exprimables catégoriquement.

Limite

S'applique à Top et à ses variantes (TopHaus, Top0, locales, catégories enrichies) mais exclut les phénomènes reposant essentiellement sur des structures métriques ou analytiques, sauf si ces structures sont incorporées catégoriquement ; des questions de taille et l'inexistence de certaines constructions catégoriques en limitent l'application.

Tension sémantique

La tension naît entre l'intuition topologique concrète et les descriptions catégoriques abstraites : un même concept peut paraître plus simple catégoriquement (via une propriété universelle) mais plus opaque pour des calculs explicites, entraînant un débat sur le point de vue à privilégier.

Synthèse

La topologie catégorique reformule les notions topologiques dans le langage des catégories pour que constructions universelles, adjoints et fonctorialité expliquent et organisent l'existence, le comportement et les relations des constructions topologiques usuelles.