Composition des transformations naturelles

Introduction à la théorie des catégories: Transformations naturelles

Couvre le concept de transformations naturelles entre les foncteurs et leur associativité.

Explore les transformations naturelles entre les functeurs, en mettant l'accent sur leurs propriétés de préservation de la composition et leur signification dans la théorie des catégories.

Transfert de structures modèles

Couvre le transfert de structures de modèles par des adjonctions dans le contexte des catégories de modèles.

Introduction à la théorie des catégories: Functors

Couvre le concept de foncteurs dans la théorie des catégories, y compris la composition, les foncteurs d'identité et les foncteurs oubliés.

Transformations naturelles : exemples et applications

Explore les transformations naturelles entre les functeurs dans différentes catégories et leurs applications.