Limite (théorie des catégories)

La notion de limite est une construction catégorique abstraite, qui rend compte d'objets tels que les produits, les produits fibrés et les limites projectives. La construction duale, la colimite, rend compte entre autres des coproduits, sommes amalgamées et limites inductives. Dans certains cas, cette notion coïncide avec la limite au sens de l'analyse. Soit une catégorie. On considère un diagramme dans , traduit par un foncteur . Dans de nombreux cas, on considère une petite catégorie, voire finie, et on parle respectivement de petit diagramme ou de diagramme fini. Un dans F est la donnée d'un objet N de et d'une famille de morphismes indicés par les objets X de , telle que pour tout morphisme f : X → Y dans , on a . Une limite du diagramme est un cône dans F tel que, pour tout autre cône dans F, il existe un unique morphisme médiateur u : N → L vérifiant pour tout X dans . Ainsi, tout cône se factorise par la limite, de manière unique. En d'autres termes, on a le diagramme suivant : center De manière équivalente, les limites sont les objets terminaux de la dans F. Encore un autre point de vue est le suivant : la catégorie de foncteurs correspond à la catégorie des diagrammes de type dans . On a le qui envoie tout objet N de vers le foncteur constant. Alors les transformations naturelles (qui sont des foncteurs au sens de la catégorie de foncteurs) sont exactement les cônes de N dans F. Une limite de F n'est alors rien d'autre qu'un morphisme universel de vers F. Ce point de vue rend visible que les limites sont des constructions universelles, ainsi que leur caractère fonctoriel : le foncteur Lim est adjoint à droite au foncteur diagonal. Il est tout à fait possible qu'un diagramme ne possède aucune limite, mais si elle existe, elle est unique à isomorphisme près. D'une manière générale, les objets et morphismes précis qui interviennent dans le diagramme dont on prend la limite sont moins importants que les relations qui les lient. En ce sens, un égaliseur est essentiellement la limite d'un diagramme de type .

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (66)

Cours associés (10)

Séances de cours associées (141)

MATH-436: Homotopical algebra

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous

MATH-211: Group Theory

Après une introduction à la théorie des catégories, nous appliquerons la théorie générale au cas particulier des groupes, ce qui nous permettra de bien mettre en perspective des notions telles que quo

MATH-212: Analyse numérique et optimisation

L'étudiant apprendra à résoudre numériquement divers problèmes mathématiques. Les propriétés théoriques de ces méthodes seront discutées.

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

Limite (théorie des catégories)

Catégorie des espaces topologiques

En mathématiques, la catégorie des espaces topologiques est une construction qui rend compte abstraitement des propriétés générales observées dans l'étude des espaces topologiques. Ce n'est pas la seule catégorie qui possède les espaces topologiques comme objet, et ses propriétés générales sont trop faibles ; cela motive la recherche de « meilleures » catégories d'espaces. C'est un exemple de catégorie topologique.

Éléments finis: Élasticité et formation variée MATH-212: Analyse numérique et optimisation

Explore les méthodes d'éléments finis pour les problèmes d'élasticité et les formulations variationnelles, en mettant l'accent sur les déformations admissibles et les implémentations numériques.

Sans titre MATH-436: Homotopical algebra

Algèbre homotopique

Couvre la théorie des groupes et de l'algèbre homotopique, mettant l'accent sur les transformations naturelles, les identités et l'isomorphisme des catégories.