Fin (théorie des catégories)

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Fin.

En mathématiques, une fin d'un foncteur est une généralisation du concept de limite. Les fins et leurs duales, les cofins, sont généralement notées avec le s long de l'intégrale.

La notion de fin apparaît naturellement dans les extensions de Kan en théorie des catégories enrichies, et dans l'étude des actions sur une catégorie. En particulier, la fin d'un foncteur, vu comme distributeur, correspond au sous-objet (en) sur lequel l'action à droite et l'action à gauche coïncident.

Définition[modifier | modifier le code]

Soient et des catégories, et soit un (bi-)foncteur. La fin de F dans X est la donnée :

  • d'un objet e de D, associé à
  • une transformation extranaturelle (parfois appelées « dinaturelle ») universelle de e vers F.

Elle est notée

Si le codomaine D est une catégorie complète (en), alors toutes les petites limites existent et, à l'instar des limites, on peut définir la fin de F comme égalisateur du diagramme :

Où le morphisme du dessus est et celui du dessous .