上积

与积对偶的范畴概念。范畴中对象族 ${X_i}_(i in I)$ 的上积是一个对象 , 以及一组态射 ${c_i:X_i->C}_(i in I)$ ，使得对于每个对象和每组态射 ${d_i:X_i->D}$ ，存在唯一的态射使得

对于所有。上积在同构意义下是唯一的。

在集合范畴中，上积是不交并，并且是包含映射。在阿贝尔群范畴中，上积是群直和，并且是第个被加数的注入。在群范畴中，上积是群的自由积。

另请参阅

范畴积, 直和, 自由积, 群直和

此条目由 Margherita Barile 贡献

使用 Wolfram|Alpha 探索

更多尝试

参考文献

Artin, M. 代数。 Englewood Cliffs, NJ: Prentice-Hall, 1991.Joshi, K. D. "Coproducts and Products." Ch. 8 in 一般拓扑导论。 New Delhi, India: Wiley, pp. 189-216, 1983.Kasch, F. "Construction of Products and Coproducts." §4.80 in 模与环。 New York: Academic Press, pp. 80-84, 1982.Rowen, L. "Products and Coproducts." In 环论，卷 1。 San Diego, CA: Academic Press, pp. 73-76, 1988.Strooker, J. R. "Products and Sums." §1.5 in 范畴、同调代数与层上同调导论 Cambridge, England: Cambridge University Press, pp. 14-21, 1978.

在 Wolfram|Alpha 中被引用

上积

请引用为

Barile, Margherita. “上积。” 来自 MathWorld——Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/Coproduct.html