En teoría de categorías , el coproducto , o suma categórica , es una construcción que incluye como ejemplos la unión disjunta de conjuntos y de espacios topológicos , el producto libre de grupos y la suma directa de módulos y espacios vectoriales . El coproducto de una familia de objetos es esencialmente el objeto "menos específico" al que cada objeto de la familia admite un morfismo . Es la noción dual de teoría de categorías al producto categórico, lo que significa que la definición es la misma que la del producto pero con todas las flechas invertidas. A pesar de este cambio aparentemente inofensivo en el nombre y la notación, los coproductos pueden ser y suelen ser dramáticamente diferentes de los productos.
Definición
Deje que C sea una categoría y dejar que X 1 y X 2 ser objetos de C . Un objeto se llama coproducto de X 1 y X 2 , escrito X 1 ∐ X 2 o X 1 ⊕ X 2 , o a veces simplemente X 1 + X 2 , si existen morfismos i 1 : X 1 → X 1 ∐ X 2 y i 2 : X 2 → X 1 ∐ X 2 que satisface la siguiente propiedad universal : para cualquier objeto y y cualquier morfismos f 1 : X 1 → y y f 2 : X 2 → y, existe un único morfismo f : X 1 ∐ X 2 → Y tal que f 1 = f ∘ i 1 y f 2 = f ∘ i 2 . Es decir, el siguiente diagrama conmuta :
La flecha única f que hace este diagrama de conmutación se puede denotar como f 1 ∐ f 2 , f 1 ⊕ f 2 , f 1 + f 2 o [ f 1 , f 2 ]. Los morfismos i 1 e i 2 se denominan inyecciones canónicas , aunque no es necesario que sean inyecciones ni siquiera mónicas .
La definición de un coproducto se puede extender a un arbitrario familia de objetos indexados por un conjunto J . El coproducto de la familia { X j : j ∈ J } es un objeto X junto con una colección de morfismos i j : X j → X tal que, para cualquier objeto Y y cualquier colección de morfismos f j : X j → Y , existe un morfismo único f de X a Y tal que f j = f ∘ i j . Es decir, el siguiente diagrama conmuta para cada j en J :
El coproducto X de la familia { X j } a menudo se denota o
A veces, el morfismo f: X → Y puede denotarsepara indicar su dependencia del individuo f j s.
Ejemplos de
El coproducto en la categoría de conjuntos es simplemente la unión disjunta con los mapas i j siendo los mapas de inclusión . A diferencia de los productos directos , los coproductos en otras categorías no se basan obviamente en la noción de conjuntos, porque las uniones no se comportan bien con respecto a las operaciones de conservación (por ejemplo, la unión de dos grupos no necesita ser un grupo), por lo que los coproductos en diferentes las categorías pueden ser dramáticamente diferentes entre sí. Por ejemplo, el coproducto en la categoría de grupos , llamado producto libre , es bastante complicado. Por otro lado, en la categoría de grupos abelianos (e igualmente para espacios vectoriales ), el coproducto, llamado suma directa , consiste en los elementos del producto directo que tienen solo un número finito de términos distintos de cero. (Por lo tanto, coincide exactamente con el producto directo en el caso de un número finito de factores).
Dado un anillo conmutativo R , el coproducto en la categoría de álgebras R conmutativas es el producto tensorial . En la categoría de álgebras R (no conmutativas) , el coproducto es un cociente del álgebra tensorial (ver producto libre de álgebras asociativas ).
En el caso de los espacios topológicos, los coproductos son uniones disjuntas con sus topologías de unión disjuntas . Es decir, es una unión disjunta de los conjuntos subyacentes, y los conjuntos abiertos son conjuntos abiertos en cada uno de los espacios , en un sentido bastante evidente. En la categoría de espacios puntiagudos , fundamental en la teoría de la homotopía , el coproducto es la suma de la cuña (que equivale a unir un conjunto de espacios con puntos base en un punto base común).
A pesar de toda esta disimilitud, todavía hay, en el corazón de todo el asunto, una unión disjunta: la suma directa de los grupos abelianos es el grupo generado por la unión disjunta "casi" (unión disjunta de todos los elementos distintos de cero, junto con un común cero), de manera similar para los espacios vectoriales: el espacio atravesado por la unión disjunta "casi"; el producto gratuito para grupos se genera mediante el conjunto de todas las letras de una unión similar "casi disjunta" en la que no se permite el desplazamiento de dos elementos de conjuntos diferentes.
El coproducto de una categoría poset es la operación de unión.
Discusión
La construcción de coproducto dada anteriormente es en realidad un caso especial de colimit en la teoría de categorías. El coproducto en una categoríase puede definir como el colimit de cualquier funtor de una categoría discreta dentro . No todas las familias tendrá un coproducto en general, pero si lo tiene, entonces el coproducto es único en un sentido fuerte: si y son dos coproductos de la familia , entonces (por la definición de coproductos) existe un isomorfismo único tal que para cada .
Como ocurre con cualquier propiedad universal , el coproducto puede entenderse como un morfismo universal. Dejarser el functor diagonal que asigna a cada objetoel par ordenado y a cada morfismo el par . Entonces el coproducto en está dado por un morfismo universal al functor del objeto en .
El coproducto indexado por el conjunto vacío (es decir, un coproducto vacío ) es el mismo que un objeto inicial en.
Si es un conjunto tal que todos los coproductos para familias indexadas con existen, entonces es posible elegir los productos de manera compatible para que el coproducto se convierta en un functor . El coproducto de la familia Entonces a menudo se denota por
y los mapas se conocen como las inyecciones naturales .
Dejando denotar el conjunto de todos los morfismos de a en (es decir, un hom-set en), tenemos un isomorfismo natural
dado por la biyección que mapea cada tupla de morfismos
(un producto en Conjunto , la categoría de conjuntos , que es el producto cartesiano , por lo que es una tupla de morfismos) al morfismo
Que este mapa es una sobreyección se sigue de la conmutatividad del diagrama: cualquier morfismo es el coproducto de la tupla
Que es una inyección se desprende de la construcción universal que estipula la singularidad de tales mapas. La naturalidad del isomorfismo también es consecuencia del diagrama. Así, el hom-functor contravariante convierte los coproductos en productos. Dicho de otra manera, el hom-functor, visto como un functor de la categoría opuesta to Set es continuo; preserva los límites (un coproducto en es un producto en ).
Si es un conjunto finito , digamos, luego el coproducto de objetos a menudo se denota por . Suponga que todos los coproductos finitos existen en C , los functores de coproducto se han elegido como se indicó anteriormente y 0 denota el objeto inicial de C correspondiente al coproducto vacío. Entonces tenemos isomorfismos naturales
Estas propiedades son formalmente similares a las de un monoide conmutativo ; una categoría con coproductos finitos es un ejemplo de una categoría monoidal simétrica .
Si la categoría tiene un objeto cero , entonces tenemos un morfismo único (desde es terminal ) y por lo tanto un morfismo. Desde también es inicial, tenemos un isomorfismo canónico como en el párrafo anterior. Así tenemos morfismos y , por lo que inferimos un morfismo canónico . Esto puede extenderse por inducción a un morfismo canónico de cualquier coproducto finito al producto correspondiente. Este morfismo no tiene por qué ser en general un isomorfismo; en Grp es un epimorfismo propio, mientras que en Set * (la categoría de conjuntos puntiagudos ) es un monomorfismo propio . En cualquier categoría preaditiva , este morfismo es un isomorfismo y el objeto correspondiente se conoce como biproducto . Una categoría con todos los biproductos finitos se conoce como categoría semiaditiva .
Si todas las familias de objetos indexados por tener coproductos en , entonces el coproducto comprende un functor . Tenga en cuenta que, al igual que el producto, este functor es covariante .
Ver también
- Producto
- Límites y colimits
- Coequalizador
- Límite directo
Referencias
- Mac Lane, Saunders (1998). Categorías para el matemático que trabaja . Textos de Posgrado en Matemáticas . 5 (2ª ed.). Nueva York, NY: Springer-Verlag . ISBN 0-387-98403-8. Zbl 0906.18001 .
enlaces externos
- Página web interactiva que genera ejemplos de coproductos en la categoría de conjuntos finitos. Escrito por Jocelyn Paine .