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

Transformations naturelles en Algèbre

Description

Cette séance de cours couvre le concept des transformations naturelles en algèbre, en mettant l'accent sur la relation entre les functeurs et les isomorphismes. L'instructeur discute du processus de définition du domaine et des functeurs codomains, ainsi que de la construction de transformations naturelles. Différents exemples et applications sont explorés, comme l'obtention d'une transformation naturelle GF - G'F' à partir de données données données. La séance de cours se penche également sur la notion de groupoïdes et de structures de catégories, soulignant l'importance de ces concepts dans les contextes algébriques.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Source officielle

Proximité ontologique

Mathématiques

Algèbre: Algèbre générale, Théorie des catégories

Topologie: Topologie algébrique

Concepts associés (32)

Foncteur

Dans la théorie des catégories, un foncteur est une construction transformant les objets et morphismes d'une catégorie en ceux d'une autre catégorie, d'une façon compatible. On parle alors d'une construction fonctorielle ou de fonctorialité. Une telle construction est donc un morphisme entre deux catégories. Historiquement, les foncteurs furent introduits en topologie algébrique, associant aux espaces topologiques et aux applications continues des objets algébriques tels que les groupes d'homotopie et les morphismes de groupes, permettant ainsi un véritable calcul d'invariants caractérisant ces espaces.

Foncteur adjoint

L'adjonction est une situation omniprésente en mathématiques, et formalisée en théorie des catégories par la notion de foncteurs adjoints. Une adjonction entre deux catégories et est une paire de deux foncteurs et vérifiant que, pour tout objet X dans C et Y dans D, il existe une bijection entre les ensembles de morphismes correspondants et la famille de bijections est naturelle en X et Y. On dit que F et G sont des foncteurs adjoints et plus précisément, que F est « adjoint à gauche de G » ou que G est « adjoint à droite de F ».

Forgetful functor

In mathematics, in the area of , a forgetful functor (also known as a stripping functor) 'forgets' or drops some or all of the input's structure or properties 'before' mapping to the output. For an algebraic structure of a given signature, this may be expressed by curtailing the signature: the new signature is an edited form of the old one. If the signature is left as an empty list, the functor is simply to take the underlying set of a structure.

Théorie des catégories

La théorie des catégories est l'étude des structures mathématiques et de leurs relations. Ce domaine est né du constat de l'abondance de caractéristiques partagées par diverses classes liées à des structures mathématiques. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l'informatique théorique et en mathématiques de la physique. Elles forment une notion unificatrice.

Foncteur Hom

En mathématiques, le foncteur Hom est un foncteur associé aux morphismes de la catégorie des ensembles. Il est central en théorie des catégories, notamment du fait de son rôle dans le lemme de Yoneda et parce qu'il permet de définir le foncteur Ext. Soit une catégorie localement petite. Pour tout couple d'objets A et B dans cette catégorie, un morphisme induit une fonction pour tout objet X.

Afficher plus

Séances de cours associées (54)

Introduction aux Functors dérivés: Functors dérivés gauche et droite

Introduit des foncteurs dérivés à gauche et à droite en algèbre homotopique, en soulignant leur unicité et en fournissant un exemple illustratif.

Catégories et Functors

Couvre les catégories, les functeurs et les catégories de prémousse, explorant les relations entre les objets et les morphismes.

Adjonctions et limites: explorer les functors et les co-limites

Couvre les adjonctions et les limites, en se concentrant sur les foncteurs, les co-limites et leurs applications dans la théorie des catégories.

Cohomologie de groupe

Couvre le concept de cohomologie de groupe, se concentrant sur les complexes de chaîne, les complexes de cochain, les produits de tasse et les anneaux de groupe.

Construction de la catégorie homotopie

Explique la construction de la catégorie dhomotopie dune catégorie de modèle en utilisant le cofibrant et le remplacement de fibrant.

Afficher plus

Concepts associés (32)

Foncteur

Foncteur adjoint

Forgetful functor

Théorie des catégories

Foncteur Hom

Afficher plus