单词 | bicartesian closed category |
释义 | bicartesian closed categorybicartesian closed category (plural bicartesian closed categories) (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}. |
随便看 |
|
英汉翻译词典包含4368284条英汉汉英翻译词条,基本涵盖了全部常用英语单词及常用语的翻译及用法,是英语学习的有利工具。