modern categorical theory 现代范畴理论
The application of categorical theory into cognitive study of polysemic paradigms is of considerable significance.
运用范畴理论 ，把词的多义聚合现象纳入认知的研究领域是十分有意义的。
In category theory he developed categorical logic.
在范畴理论中，他发展了范畴逻辑。
Aim CDT (categorical data type) is a parallel model basing on category theory, and this paper discusses the CDT construction of the memory type in details.
目的CDT(范畴数据类型)是以范畴理论为基础的并行计算模型，本文对存储器类型的CDT构造进行深入的探讨。
应用推荐