1·In category theory he developed categorical logic.
在范畴理论中，他发展了范畴逻辑。
2·The paper reviews category theory based on similarity and theories.
本文综合概述了基于相似性和理论驱动的归类理论。
3·It successfully solves the problems that classical category theory has.
它成功的解决了经典范畴理论所遇到的问题。
4·How does lifting (in a functional programming context) relate to category theory?
如何提升(在函数式编程中)与范畴理论？
5·Newmark's text category theory provides a new perspective for the study of translation.
纽马克的文本范畴理论为翻译实践标准提供了新的视角，不同的文本需要不同的翻译标准。
6·Newmark's text category theory provides a new perspective for the study of translation.
纽马克的文本范畴理论为翻译标准的研究提供了新的视点。
7·Peter Newmarks text category theory provides a new perspective for the study of translation.
纽马克的文本范畴理论为翻译标准的研究提供了新的视点。
8·Peter Newmarks text category theory provides a new perspective for the study of translation.
纽马克的文本范畴理论为翻译实践标准提供了新的视角，不同的文本需要不同的翻译标准。
9·Some more advanced algebraic topology may also be useful as might some knowledge of category theory.
更深入的代数拓扑学以及范畴理论的知识将有更大的帮助。
10·Based on the prototype category theory, this study proposes a cognitive approach for the analysis of markedness on semantic level.
我们能否从认知语言学中原型范畴理论的角度来认识和分析语言标记性呢。