Fin (théorie des catégories)

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éfinitionModifier

Soient   et   des catégories, et soit   un bifoncteur. 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 induit par la précomposition   et celui du dessous par la postcomposition  .