Séance de cours

Préservation des coproduits de l'articulation gauche

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.

Description

Cette séance de cours introduit le concept d'adjoints de gauche préservant les coproduits dans le contexte de la théorie des catégories. Elle couvre la proposition selon laquelle, sous certaines conditions, l'image d'un coproduit sous un functeur de gauche est un coproduit de la catégorie cible. La preuve consiste à vérifier la propriété universelle. La séance de cours explore également le double cas pour les produits et fournit des explications détaillées avec des diagrammes de morphisme.

Source officielle

Proximité ontologique

Mathématiques

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

Concepts associés (32)

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.

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.

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 .

Afficher plus

Séances de cours associées (64)

Functors: Définition

Introduit des functeurs dans la théorie de catégorie et explique leur composition.

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.

Catégories et Functors: Une introduction

Fournit un aperçu des catégories, des foncteurs et des transformations naturelles en mathématiques.

Adjonctions et Functor Categories: Explorer les connexions

Couvre les adjonctions et les catégories de foncteur, en soulignant leur importance dans la théorie des catégories et les applications dans l'apprentissage profond.

Introduction à la théorie des catégories : produits et coproduits

Démontre comment les adjoints préservent les coproduits et les produits dans la théorie des catégories.

Afficher plus

Concepts associés (32)

Foncteur adjoint

Forgetful functor

Foncteur

Théorie des catégories

Somme (catégorie)

Afficher plus