Producto (teoría de categorías)

En teoría de categorías, el producto de dos (o más) objetos es una noción que captura la esencia detrás de otras construcciones en otras áreas de las matemáticas tales como producto cartesiano de conjuntos, el producto directo de grupos, producto directo de anillos, el producto de espacios topológicos entre otros. Esencialmente el producto de una familia de objetos es el "más general" de los objetos que admite morfismos a cada uno de los objetos dados.

Definición

Sea $C$ una categoría, $X_{1}$ y $X_{2}$ objetos de $C$. Un objeto $X$ es el producto de $X_{1}$ y $X_{2}$, denotado $X_{1}\times X_{2}$ si y solo si satisface la siguiente propiedad universal

Existe morfismos $\pi _{1}:X\to X_{1},\pi _{2}:X\to X_{2}$, llamadas proyecciones canónicas o proyecciones tal que para cualquier otro objeto $Y$ y un par de morfismos $f_{1}:Y\to X_{1},f_{2}:Y\to X_{2}$ existe un único morfismo $f:Y\to X$ tal que el siguiente diagrama conmuta:

Universal product of the product

El único morfismo $f$ recibe el nombre de morfismo producto de $f_{1}$ y $f_{2}$ y se denota por $\langle f_{1},f_{2}\rangle$.

Se acaba de definir el producto binario. En lugar de dos objetos considere una familia arbitraria de objetos indicada por algún conjunto $I$. Entonces obtenemos la definición de un producto.

Un objeto $X$ es el producto de una familia $\{X_{i}\}_{i\in I}$ de objetos si y solo si existen morfismos $\pi _{i}:X\to X_{i}$, tal que para cualquier otro objeto $Y$ y una familia de morfismos $f_{i}:Y\to X_{i}$ indizados por $I$ existe un único morfismo $f:Y\to X$ tal que el siguiente diagrama conmuta para cualquier $i\in I$

Universal product of the product

El producto se denota como $\prod _{i\in I}X_{i}$; si $I=\{1,\ldots ,n\}$, entonces se denota como $X_{1}\times \cdots \times X_{n}$ y el morfismo producto como $\langle f_{1},\ldots ,f_{n}\rangle$.

De forma alterna, el producto puede ser definido totalmente mediante ecuaciones, aquí esta un ejemplo para el producto binario:

• La existencia de $f$ se garantizada por la operación $\langle -,-\rangle$.
• La conmutatividad de los respectivos diagramas está garantizada por la igualdad $\forall f_{1},\forall f_{2},\forall i\in \{1,2\},\ \pi _{i}\circ \langle f_{1},f_{2}\rangle =f_{i}$.
• La Unicidad de $f$ es garantizada por la igualdad $\forall f,\ \langle \pi _{1}\circ f,\pi _{2}\circ f\rangle =f$.​

También el producto puede ser obtenido a partir del límite. Una familia de objetos es un diagrama sin morfismos. Si consideramos nuestro diagrama como un funtor, entonces es un funtor desde $I$ considerada como una categoría discreta. Entonces la definición de producto coincide con la definición de cono límite para este funtor.

Ejemplos

En la categoría Set (la categoría de conjuntos) el producto para la categoría es el producto cartesiano. Dada una familia de conjuntos X_i el producto es definido como

$\prod _{i\in I}X_{i}:=\{(x_{i})_{i\in I}|x_{i}\in X_{i}\,\forall i\in I\}$

con las proyecciones

$\pi _{j}:\prod _{i\in I}X_{i}\to X_{j}\mathrm {,} \quad \pi _{j}((x_{i})_{i\in I}):=x_{j}$

Dado cualquier otro conjunto Y con una familia de funciones :$f_{i}:Y\to X_{i}$ la flecha universal f se define como

$f:Y\to \prod _{i\in I}X_{i}\mathrm {,} \quad f(y):=(f_{i}(y))_{i\in I}$

• En la categoría de espacios topológicos el producto categórico es el espacio topológico cuyo conjunto subyacente es el producto cartesiano con la topología producto.

• En la categoría de módulos sobre algún anillo R, el producto categórico está dado por el producto directo de módulos.

• En la categoría de grupos el producto categórico está dado por el producto cartesiano con la multiplicación definida componente a componente.

• En la categoría de variedades algebraicas el producto está dado por el encaje de Segre

• Un conjunto parcialmente ordenado puede ser considerado como una categoría, usando la relación de orden como los morfismos. En este caso los productos y coproductos son los ínfimos y supremos del conjunto respectivamente

• Un producto vacío (i.e. $I$ es el conjunto vacío) es un objeto terminal o final)

Discusión

El producto no necesariamente existe; por ejemplo considere una familia infinita de espacios métricos como $\mathbb {R} ^{\mathbb {N} }$ and $\mathbb {R} ^{\mathbb {R} }$, no existe tal cosa como el producto métrico de ellos.

Una categoría en donde para cualquier conjunto finito de objetos existe su producto entonces es llamada categoría cartesiana

Supongamos que $C$ es una categoría cartesiana y $1$ denota el objeto final de la categoría $C$. Entonces tenemos los siguientes isomorfismos naturales.

$X\times (Y\times Z)\simeq (X\times Y)\times Z$

$X\times 1\simeq 1\times X\simeq X$

$X\times Y\simeq Y\times X$

Estas propiedades son similares a aquellas dadas en un monoide conmutativo; una categoría que tiene productos finitos forma una categoría simétrica monoidal

Distributividad

En una categoría con productos y coproductos finitos existe un morfismo canónico X×Y+X×Z → X×(Y+Z), donde el signo aditivo denota el coproducto, para comprender esto observe que tenemos varias proyecciones e inyecciones canónicas que completan el diagrama:

La propiedad universal para X×(Y+Z) garantiza un único morfismo X×Y+X×Z → X×(Y+Z),. Una categoría distributiva es aquella en el cual este morfismo es realmente un isomorfismo

$X\times (Y+Z)\simeq (X\times Y)+(X\times Z).$

Véase también

• Coproducto – la noción dual del producto
• Límites y colimites
• Igualador (teoría de categorías)
• Límite inverso
• Categoría cartesianamente cerrada
• producto fibrado (teoría de categorías)

Referencias

• Adámek, Jiří; Horst Herrlich, and George E. Strecker (1990). Abstract and Concrete Categories. John Wiley & Sons. ISBN 0-471-60922-6. Archivado desde el original el 21 de abril de 2015. Consultado el 12 de marzo de 2011. 
• Barr, Michael; Charles Wells (1999). Category Theory for Computing Science. Les Publications CRM Montreal (publication PM023).  Chapter 5.
• Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics 5 (2nd ed. edición). Springer. ISBN 0-387-98403-8. 

Enlaces externos

• Interactive Web page which generates examples of products in the category of finite sets. Written by Jocelyn Paine.

• Datos: Q919107
• Multimedia: Products (category theory) / Q919107