The application of categoricaltheory into cognitive study of polysemic paradigms is of considerable significance.
运用范畴理论 ，把词的多义聚合现象纳入认知的研究领域是十分有意义的。
2
In category theory he developed categorical logic.
在范畴理论中，他发展了范畴逻辑。
3
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.