Producto Directo
Definición
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.