bicartesian closed category
基本释义
bicartesian closed category (plural bicartesian closed categories)\n(category theory) A cartesian closed category which also has an initial object and such that for any pair of objects, A and B, in the category, the category has another object which is their coproduct, A∐B{\\displaystyle A\\coprod B}.\n
Wiktionary英语原文词典
该词在Wiktionary英文原文中有详细的英文释义、词形变化、词源和词汇关系。
查看英文原文词典详情
0 次浏览