累计查询 0.00 亿次

category theory

  • 范畴论：数学的一个分支，以抽象的方式处理空间和它们之间的映射，将来自各种不同具体数学分支的类似定理统一起来。

双语例句

  1. In category theory he developed categorical logic.
    在范畴理论中，他发展了范畴逻辑。
  2. It successfully solves the problems that classical category theory has.
    它成功的解决了经典范畴理论所遇到的问题。
  3. How does lifting (in a functional programming context) relate to category theory?
    如何提升(在函数式编程中)与范畴理论？

网络短语

  • prototype category theory
    原型范畴理论
  • the category theory
    范畴论
  • sum category theory
    和
  • self-category theory
    自我分类理论
  • text category theory
    文本范畴理论

英英释义

  • Category theoryCategory Theory. Steve Awodey.