category theory信息详情
[数]范畴论
category───n.种类,分类;[数]范畴
category 6───类别6
category management───品类管理;类别管理
obligatory category───强制性类别
theory───n.理论;原理;学说;推测
syntactic category───句法范畴
category funimation───类别功能
fibred category───纤维类别
conjoined category───连缀范畴
In category theory he developed categorical logic.───在范畴理论中,他发展了范畴逻辑。
How does lifting (in a functional programming context) relate to category theory?───如何提升(在函数式编程中)与范畴理论?
It successfully solves the problems that classical category theory has.───它成功的解决了经典范畴理论所遇到的问题。
A typed category theory is proposed for the abstract description of knowledge and knowledge processing.───为了兼顾知识的语义,我们引进类型的概念,提出带类型范畴论。
Some more advanced algebraic topology may also be useful as might some knowledge of category theory.───更深入的代数拓扑学以及范畴理论的知识将有更大的帮助。
The prototype category theory in cognitive linguistics was originated from color terms' study.───认知语言学中,范畴化的原型理论也是源于对颜色词的研究。
Cognitive theories, such as CPR, prototype category theory and conceptual metaphors, have important implications to discourse coherence.───认知参照点、原型范畴、概念隐喻等认知理论对语篇连贯有着重要的启示作用。
A Look into the Relativity and Multiplicity of Translation Criteria in the Light of Peter Newmark's Text Category Theory───从纽马克的文本范畴理论看翻译标准的相对性和多重性
Cognitive Study on Polysemy in Terms of Prototypical category Theory───多义性在原型范畴理论上的认知研究
- central areas
- calluses
- cable balancing
- change back and over
- check roof
- but run away
- carry something on
- cannon connection
- carbon dioxide welding
- category tree
- callwaiting
- central areas peripheral areas
- check room
- cable balancing network
- change back and over the years
- cannon cracker
- carry something to some place
- but run out of meat
- carbon disulfide
- callwhotogoingmikeis
- categorykiller