Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Somme (catégorie)
Résumé
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 .
La somme indexée par l'ensemble vide est l'objet initial.
Dans la catégorie des ensembles, la somme est la réunion disjointe. La réunion disjointe de la famille est l'ensemble des couples où avec . On prendra donc .
Dans la catégorie des espaces topologiques, la somme topologique existe et commute avec le foncteur d'oubli. Elle s'obtient en munissant l'ensemble ci-dessus d'une topologie adéquate.
Dans la catégorie des groupes, la somme s'appelle produit libre. Elle ne commute pas avec le foncteur d'oubli.
Dans la catégorie des modules sur un anneau fixé, la somme est la somme directe externe. Elle ne commute pas avec le foncteur d'oubli.
On peut raffiner la notion de somme avec la somme amalgamée.
La somme est la propriété duale du produit : la somme correspond au produit de la catégorie opposée. On dit parfois coproduit plutôt que somme.
On utilise parfois les notions de et de catégorie linéaire pour désigner deux types de catégories fréquentes, mais mutuellement exclusives (sauf cas trivaux, comme des catégories à un seul objet):
une catégorie est distributive lorsque le produit est distributif sur le coproduit. Ce dernier est alors souvent appelé somme, par analogie avec l'arithmétique élémentaire ;
mais lorsque produit et coproduit d'une famille finie d'objets sont isomorphes, alors la loi de distributivité n'est plus respectée : la catégorie est linéaire, et il est préférable d'utiliser le terme générique de coproduit plutôt que de somme.
Source officielle
À 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)
Objet initial et objet final
En mathématiques, et plus particulièrement en théorie des catégories, un objet initial et un objet final sont des objets qui permettent de définir une propriété universelle. Donnons-nous une catégorie . Un objet de est dit initial si pour tout objet de , il existe une et une seule flèche de vers . De même, un objet est dit final (ou terminal) si pour tout objet , il existe une et une seule flèche de vers . En particulier, la seule flèche d'un objet initial (ou final) vers lui-même est l'identité.
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.
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 .
Cours associés (1)
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
Séances de cours associées (36)
Applications linéaires et objets simples
Couvre la bijection entre les applications linéaires de L(X) à V et les applications de X à U(V).
Introduction aux catégories: Produits et coproduits
Présente la théorie des catégories en généralisant le produit cartésien et l'union disjointe des ensembles à n'importe quelle catégorie.
Introduction aux coproduits
Introduit des coproduits dans la théorie des catégories, explorant leurs propriétés, leur universalité et leurs relations avec les produits.