Quel est l'intérêt des transformations naturelles ?

Elles précisent quand une construction est canonique, définie de la même manière pour chaque objet sans choix arbitraires. L'exemple classique est l'application naturelle d'un espace vectoriel vers son double dual, qui existe uniformément, contrairement à l'application vers le dual simple, qui dépend d'un choix de base.

Qu'est-ce qu'une équivalence de catégories ?

C'est une paire de foncteurs entre deux catégories dont les composés sont naturellement isomorphes aux identités. Les catégories équivalentes partagent toutes les propriétés catégoriques même lorsqu'elles ne sont pas littéralement identiques, ce qui est la notion appropriée d'identité en théorie des catégories.

Catégories, foncteurs et transformations naturelles

Les catégories, les foncteurs et les transformations naturelles sont les trois notions fondamentales de la théorie des catégories, formalisant les structures, les applications entre structures et les applications entre ces applications.

Trouver un sujet avec PaperMindBientôtFind papers & topics

Tools & resources

Télécharger les diapositives

Learn & explore

VidéoBientôt

Definition

Une catégorie est constituée d'objets et de morphismes qui se composent de manière associative avec des identités ; un foncteur applique les objets et les morphismes d'une catégorie à une autre en préservant la composition et les identités ; une transformation naturelle assigne à chaque objet un morphisme de telle sorte qu'il commute avec les actions de deux foncteurs.

Scope

Ce sujet couvre la définition d'une catégorie par ses objets, ses morphismes, sa composition et ses identités, la notion de foncteur comme application préservant la structure entre catégories, les transformations naturelles comme morphismes de foncteurs, et les notions qui en découlent d'isomorphisme, d'équivalence de catégories et de plongement de Yoneda.

Core questions

Quelles données et quels axiomes définissent une catégorie ?
Comment un foncteur transporte-t-il la structure d'une catégorie à une autre ?
Que signifie la naturalité et pourquoi est-ce la bonne notion d'application entre foncteurs ?
Quand deux catégories sont-elles équivalentes plutôt qu'égales ?

Key theories

Axiomes des catégories et des foncteurs: La composition des morphismes est associative et unitaire, et les foncteurs préservent cette structure compositionnelle, de sorte que les constructions catégoriques sont stables sous les applications qui relient les catégories.
Transformations naturelles: Une transformation naturelle relie deux foncteurs par une famille de morphismes compatibles avec toutes les applications de la catégorie source, capturant l'idée informelle d'une construction définie uniformément et sans choix arbitraires.
Lemme et plongement de Yoneda: Les transformations naturelles issues d'un foncteur représenté correspondent à des éléments, de sorte que chaque objet est déterminé par ses morphismes et se plonge pleinement et fidèlement dans une catégorie de foncteurs.

Clinical relevance

Ces trois notions constituent le vocabulaire dans lequel les mathématiques catégoriques sont écrites : les foncteurs formalisent des constructions telles que la formation d'un groupe fondamental ou d'un anneau de polynômes, la naturalité identifie les constructions canoniques, et la perspective de Yoneda fonde la vision structurelle qui imprègne l'algèbre, la topologie et la sémantique des langages de programmation.

History

Eilenberg et Mac Lane ont introduit les catégories, les foncteurs et les transformations naturelles en 1945, les transformations naturelles étant le concept motivant qui a nécessité la définition précise des autres. Le lemme de Yoneda, attribué à Nobuo Yoneda, est rapidement devenu la pierre angulaire exprimant le point de vue de la représentabilité du sujet.

Key figures

Samuel Eilenberg
Saunders Mac Lane
Nobuo Yoneda

Seminal works

maclane1998
awodey2010
riehl2016

Frequently asked questions

Quel est l'intérêt des transformations naturelles ?: Elles précisent quand une construction est canonique, définie de la même manière pour chaque objet sans choix arbitraires. L'exemple classique est l'application naturelle d'un espace vectoriel vers son double dual, qui existe uniformément, contrairement à l'application vers le dual simple, qui dépend d'un choix de base.
Qu'est-ce qu'une équivalence de catégories ?: C'est une paire de foncteurs entre deux catégories dont les composés sont naturellement isomorphes aux identités. Les catégories équivalentes partagent toutes les propriétés catégoriques même lorsqu'elles ne sont pas littéralement identiques, ce qui est la notion appropriée d'identité en théorie des catégories.