Séance de cours

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

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 présente le concept de transformations naturelles dans la théorie des catégories à travers des exemples concrets. L'instructeur explique comment les transformations naturelles préservent la structure sous-jacente des objets et des foncteurs, illustrant avec des exemples de la théorie des groupes. La séance de cours couvre la définition des transformations naturelles, l'importance du naturel et les critères pour qu'une transformation soit considérée comme naturelle. L'instructeur discute également de l'application des transformations naturelles dans la définition de l'équivalence des catégories.

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

Proximité ontologique

Mathématiques

Algèbre: Algèbre générale

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.

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

Équivalence de catégories

En mathématiques, plus précisément en théorie des catégories, une équivalence de catégories est une relation qui établit que deux catégories sont "essentiellement les mêmes". C'est un foncteur entre les deux catégories, qui prend compte formellement du fait que ces catégories relèvent d'une même structure : on dit alors que les catégories sont équivalentes. À la différence de la notion d'isomorphisme de catégories, la notion d'équivalence est moins rigide, plus pratique et plus courante.

Category (mathematics)

In mathematics, a category (sometimes called an abstract category to distinguish it from a ) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the , whose objects are sets and whose arrows are functions. is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent.

Afficher plus

Séances de cours associées (64)

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

Transformations naturelles en théorie de groupe

Introduit des transformations naturelles dans la théorie de groupe et la théorie de catégorie, en mettant l'accent sur leur définition et leur signification.

Objets simples et cosimpliciels : exemples et applications

Couvre les objets simpliciaux et cosimpliciaux en théorie des catégories avec des exemples pratiques.

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

Explore la définition des adjonctions et la relation entre les foncteurs.

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

Couvre la définition de l'équivalence des catégories à l'aide de transformations naturelles et fournit des exemples concrets.

Afficher plus

Concepts associés (32)

Foncteur

Théorie des catégories

Foncteur adjoint

Équivalence de catégories

Category (mathematics)

Afficher plus