Séance de cours

Introduction à la théorie des catégories: Adjonctions (Partie 1)

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Dans cours

MATH-211: Algèbre II - groupes

This course deals with group theory, with particular emphasis on group actions and notions of category theory. ...

Description

Cette séance de cours introduit une généralisation significative du concept d'équivalence de catégorie, en se concentrant sur les transformations naturelles. L'instructeur explique en détail la définition des adjonctions, explorant la relation entre les foncteurs et l'existence de certaines cartographies.

Enseignant·e

Kathryn Hess Bellwald

Kathryn Hess Bellwald received her PhD from MIT in 1989 and held positions at the universities of Stockholm, Nice, and Toronto before moving to the EPFL.Her research focuses on algebraic topology and its applications, primarily in the life sciences, but also in materials science. She has published extensively on topics in pure algebraic topology including homotopy theory, operad theory, and algebraic K-theory. On the applied side, she has elaborated methods based on topological data analysis for high-throughput screening of nanoporous crystalline materials, classification and synthesis of neuron morphologies, and classification of neuronal network dynamics. She has also developed and applied innovative topological approaches to network theory, leading to a powerful, parameter-free mathematical framework relating the activity of a neural network to its underlying structure, both locally and globally.In 2016 she was elected to Swiss Academy of Engineering Sciences and was named a fellow of the American Mathematical Society and a distinguished speaker of the European Mathematical Society in 2017. In 2021 she gave an invited Public Lecture at the European Congress of Mathematicians. She has won several teaching prizes at EPFL, including the Crédit Suisse teaching prize and the Polysphère d’Or.

Source officielle

Concepts associés (30)

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 ».

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

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.

Tensor-hom adjunction

In mathematics, the tensor-hom adjunction is that the tensor product and hom-functor form an adjoint pair: This is made more precise below. The order of terms in the phrase "tensor-hom adjunction" reflects their relationship: tensor is the left adjoint, while hom is the right adjoint. Say R and S are (possibly noncommutative) rings, and consider the right module categories (an analogous statement holds for left modules): Fix an -bimodule and define functors and as follows: Then is left adjoint to .

Monade (théorie des catégories)

Une monade est une construction catégorique qui mime formellement le comportement que les monoïdes ont en algèbre. Introduite par Roger Godement sous le nom de « construction standard », la notion est d'abord diffusée sous le nom de triple avant d'être baptisée monade par Jean Bénabou. Elles permettent notamment de formuler des adjonctions et ont (au travers des comonades) un rôle important en géométrie algébrique, notamment en théorie des topos. Elles permettent également de définir les , dont les .

Afficher plus

Séances de cours associées (51)

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.

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

Introduit des transformations naturelles dans la théorie des catégories à travers des exemples concrets de la théorie des groupes.

Limites et limites dans les catégories Functor

Explore les limites et les limites dans les catégories de functeurs, en mettant l'accent sur les égaliseurs, les retraits et leur importance dans la théorie des catégories.

Équivalences des catégories

Explore des exemples de transformations naturelles, d'équivalence des catégories et d'adjonction avec des cas spécifiques impliquant Un.

Morphismes de groupe: G-equivariant, Chapitre III

Discute de la formulation des G-morphismes dans les espaces vectoriels et les espaces topologiques.

Afficher plus

Concepts associés (30)

Foncteur adjoint

Théorie des catégories

Foncteur

Tensor-hom adjunction

Monade (théorie des catégories)

Afficher plus