Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Équivalence : Isomorphismes naturels et identités triangulaires

Description

Cette séance de cours traite de l'achèvement de la caractérisation en prouvant l'existence d'isomorphismes naturels mutuellement inverses, conduisant à l'existence de transformations naturelles satisfaisant les identités triangulaires. L'instructeur explique le processus étape par étape, en mettant l'accent sur la vérification de ces propriétés clés.

Source officielle

Concepts associés (14)

Transformation naturelle

En théorie des catégories, une transformation naturelle permet de transformer un foncteur en un autre tout en respectant la structure interne (c'est-à-dire la composition des morphismes) des catégories considérées. On peut ainsi la voir comme un morphisme de foncteurs. Soient et deux catégories, F et G deux foncteurs covariants de dans .

Somme (catégorie)

En mathématiques, dans une catégorie, la somme ou coproduit peut s'exprimer par une propriété universelle ou de manière équivalente comme foncteur représentable. Soit une catégorie et une famille d'objets de . On cherche un objet X ainsi qu'une famille de morphismes tel que pour tout objet Y de et pour toute famille de morphismes , il existe un unique morphisme tel que pour tout indice i, on a . Si un tel objet X existe, on l'appelle somme des . Lorsqu'elle existe, la somme des X représente le foncteur qui à un objet Y de associe le produit cartésien .

Isomorphisme

En mathématiques, un isomorphisme entre deux ensembles structurés est une application bijective qui préserve la structure, et dont la réciproque préserve aussi la structure. Plus généralement, en théorie des catégories, un isomorphisme entre deux objets est un morphisme admettant un « morphisme inverse ». Par exemple, sur l'intervalle des valeurs ... peuvent être remplacées par leur logarithme ..., et les relations d'ordre entre elles seront conservées. On peut à tout moment retrouver les valeurs et en prenant les exponentielles de et .

Catégorie complète

En mathématiques, une catégorie complète est une catégorie dans laquelle toutes les petites limites existent. Autrement dit, une catégorie C est complète si tout diagramme F : J → C (où J est petite) a une limite dans C. Duallement, une catégorie cocomplète est une catégorie dans laquelle toutes les petites colimites existent. Une catégorie bicomplète est une catégorie à la fois complète et cocomplète. L'existence de toutes les limites (même lorsque J est une classe propre) est trop forte pour être pertinente en pratique.

Élément symétrique

En mathématiques, la notion d'élément symétrique généralise les concepts d'opposé en rapport avec l'addition et d'inverse en rapport avec la multiplication. Soit E un ensemble muni d'une loi de composition interne admettant un élément neutre . Soient deux éléments et de E. Si , est dit élément symétrique à gauche de et est dit élément symétrique à droite de . Si , est dit élément symétrique de .

Afficher plus

Séances de cours associées (26)

Introduction à la théorie de groupe: Motivation

Introduit des adjonctions dans la théorie de groupe avec des exemples de transformations naturelles et d'isomorphismes.

Introduction aux coproduits

Introduit des coproduits dans la théorie des catégories, explorant leurs propriétés, leur universalité et leurs relations avec les produits.

Catégories: Functors, et Transformations naturelles

Introduit des catégories, des exemples concrets, des catégories opposées et des isomorphismes, conduisant à des groupoïdes.

Groupes fondamentaux

Explore les groupes fondamentaux, les classes d'homotopie et les revêtements dans les variétés connectées.

Équivalence de la catégorie

Explore le concept d'équivalence de catégorie par l'intermédiaire de functeurs isomorphes et d'isomorphismes naturels entre catégories.

Afficher plus

Concepts associés (14)

Transformation naturelle