Produit (catégorie)

Produit (catégorie)

Dans une catégorie, le produit peut s'exprimer par une propriété universelle ou de manière équivalente comme foncteur représentable.

Définition

produit

Soit C une catégorie et (X_i)_{i\in I} une famille d'objets de C. On cherche un objet X ainsi qu'une famille de morphismes \pi_i : X\to X_i tel que pour tout objet Y de C et pour toute famille de morphismes f_i : Y\to X_i, il existe un unique morphisme f:Y\to X tel que pour tout indice i, on a \pi_i\circ f =f_i.

Si un tel objet X existe, on l'appelle produit des (X_i)_{i\in I}, les morphismes πi sont les projections canoniques et les morphismes fi sont les composantes de f.

Dans la catégorie des ensembles, le produit existe et s'appelle produit cartésien. Dans toute autre catégorie, le produit des (X_i)_{i\in I}, lorsqu'il existe représente le foncteur qui à un objet Y de C associe le produit cartésien \prod_{i\in I} Hom(Y,X_i).

Produit et somme

La somme est la propriété duale du produit : la somme correspond au produit de la catégorie opposée.

Exemples


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Produit (catégorie) de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Produit d'anneaux — En algèbre générale, il est possible de combiner plusieurs anneaux pour former un anneau appelé anneau produit. Définition Cette construction peut se faire de la manière suivante: si I est un ensemble d indices et Ai est un anneau pour tout… …   Wikipédia en Français

  • Catégorie monoidale — Catégorie monoïdale En mathématiques, une catégorie monoïdale est une catégorie munie d un bifoncteur qui généralise la notion de produit tensoriel de deux structures algébriques. Intuitivement, il s agit de l analogue, au niveau des catégories,… …   Wikipédia en Français

  • Produit antiparasitaire contre les ennemis des cultures — Les produits antiparasitaires contre les ennemis des cultures et assimilés sont définis en France par le code rural, dans l article L.253 1, comme suit : 1° Les antiseptiques et les anticryptogamiques destinés à la protection des cultures et …   Wikipédia en Français

  • Produit de l'annee — Produit de l année En France, l appellation « Élu Produit de l Année » est une opération que la société Management Europe Meeting organise depuis 1987. Sommaire 1 Principe 2 Critiqué par les associations de consommateurs 3 Notes et… …   Wikipédia en Français

  • Produit tensoriel et representations de groupes finis — Produit tensoriel et représentations de groupes finis En mathématiques et plus précisément dans le cadre des représentations d un groupe fini, le produit tensoriel est une technique permettant de construire une représentation à partir de deux… …   Wikipédia en Français

  • Produit de cauchy — Pour les articles homonymes, voir Cauchy. En analyse, le produit de Cauchy est une opération portant sur certaines séries. Il permet de généraliser la propriété de distributivité. Son nom est un hommage à l analyste français Augustin Louis Cauchy …   Wikipédia en Français

  • Produit de matrices — Produit matriciel Le produit matriciel désigne le produit de matrices, initialement appelé la « composition des tableaux »[1]. Cet article montre comment multiplier les matrices. Sommaire 1 Produit matriciel ordinaire 1.1 Exemple …   Wikipédia en Français

  • Produit cartésien de graphes — Produit cartésien (graphe) Le produit cartésien, ou somme cartésienne, est une opération sur deux graphes G et G résultant en un graphe . Parler de produit ou de somme pour cette opération n est pas une contradiction, mais une explication basée… …   Wikipédia en Français

  • Produit de solubilite — Produit de solubilité Le produit de solubilité est la constante d équilibre correspondant à la dissolution d un solide dans un solvant. Sommaire 1 Définition 2 Produit de solubilité dans l eau à 25 °C : exemples de valeurs numériques …   Wikipédia en Français

  • Produit fibre — Produit fibré Notations Exemple de représentation d un produit fibré (Pour des détails sur les notions ci dessous, voir l article sur les catégories.) est la classe des flèches de la catégorie …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”