El objeto cuyos elementos son tuplas con una coordenada de cada factor y con operaciones por componentes, junto con mapas de proyección a cada factor; categóricamente es el producto, que representa familias de aplicaciones hacia cada factor.

Principio

Definido por la propiedad universal de los productos: un objeto ∏_i A_i con proyecciones π_j: ∏_i A_i → A_j tal que para cualquier objeto X y familia de mapas f_j: X → A_j existe un único mapa f: X → ∏_i A_i con π_j ∘ f = f_j para todo j.

Demostración

Para conjuntos, el producto directo ∏_i S_i es el conjunto de todas las tuplas (s_i) con s_i ∈ S_i. Para módulos o espacios vectoriales, el producto directo consiste en todas las tuplas con suma y multiplicación escalar por componentes; si el conjunto de índices es infinito suele diferir de la suma directa (que exige soporte finito).

Aplicación incorrecta

Confundir producto directo con suma directa cuando el conjunto de índices es infinito, o suponer que los productos conmutan con colímites en categorías donde no lo hacen. Tratar el producto como un coproducto conduce a argumentos universales y descomposiciones incorrectas.

Consecuencia

Los productos proporcionan proyecciones canónicas y cálculos por coordenadas, sustentan construcciones de límites inversos y son cruciales para definir estructuras punto a punto en categorías de funtores. Conservan límites y a menudo reflejan propiedades de completitud de una categoría.

Inversión

Dual al coproducto/suma directa: al invertir la propiedad universal, se sustituyen inyecciones por proyecciones y el énfasis cambia de ensamblar tuplas de soporte finito a permitir familias coordinadas arbitrarias de elementos.

Límite

Existe en muchas categorías pero su descripción por componentes como «todas las tuplas» requiere que la categoría ambiente admita productos arbitrarios. En contextos algebraicos con índices infinitos hay que distinguir propiedades que valen para productos finitos de las que fallan para productos infinitos.

Tensión semántica

Tensión con la suma directa y con construcciones fibradas: el producto admite tuplas arbitrarias mientras la suma restringe al soporte finito; en algunos contextos (índices finitos, módulos de dimensión finita) coinciden, lo que produce confusión.

Síntesis

El producto directo es el producto categórico que ensambla una familia indexada en el objeto de todas las tuplas de coordenadas, representando familias de mapas hacia cada factor mediante aplicaciones mediadoras únicas.