In category theory he developed categorical logic.
在范畴理论中，他发展了范畴逻辑。
The paper reviews category theory based on similarity and theories.
本文综合概述了基于相似性和理论驱动的归类理论。
It successfully solves the problems that classical category theory has.
它成功的解决了经典范畴理论所遇到的问题。
How does lifting (in a functional programming context) relate to category theory?
如何提升(在函数式编程中)与范畴理论？
Newmark's text category theory provides a new perspective for the study of translation.
纽马克的文本范畴理论为翻译实践标准提供了新的视角，不同的文本需要不同的翻译标准。
Newmark's text category theory provides a new perspective for the study of translation.
纽马克的文本范畴理论为翻译标准的研究提供了新的视点。
Peter Newmarks text category theory provides a new perspective for the study of translation.
纽马克的文本范畴理论为翻译标准的研究提供了新的视点。
Peter Newmarks text category theory provides a new perspective for the study of translation.
纽马克的文本范畴理论为翻译实践标准提供了新的视角，不同的文本需要不同的翻译标准。
Some more advanced algebraic topology may also be useful as might some knowledge of category theory.
更深入的代数拓扑学以及范畴理论的知识将有更大的帮助。
Based on the prototype category theory, this study proposes a cognitive approach for the analysis of markedness on semantic level.
我们能否从认知语言学中原型范畴理论的角度来认识和分析语言标记性呢。
Next the author mainly interprets category, categorization, prototype category theory and their implications for vocabulary teaching.
然后本文详细介绍了一个在大学英语课堂中实施以原型范畴理论为指导的词汇教学的实验。
In order to study vocabulary instruction we have mainly interpreted prototype category theory, conceptual structure theory and iconicity.
为了研究词汇教学，文章主要对原型范畴理论、概念结构理论以及象似性进行解释。
Application of semantic category theory to college english vocabulary teaching is to apply semantic category theory to english vocabulary teaching.
本文试图运用系统功能语言学的语类理论，探讨国际学术会议英语演讲稿的语篇模式与语言特点。
However, Halliday's treatment to mood structure and the adverbs in phrasal verbs shows that he was lost in a dilemma with his Scale and Category Theory.
但韩礼德在《功能语法导论》中对语气部分和短语动词部分的处理表明，他对动词词组的认识显然与其阶与范畴的界定发生了矛盾。
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构造进行深入的探讨。
This paper tries to study the cognitive reason of the vagueness of the human language in terms of the prototypical category theory in cognitive linguistics.
本文试图从认知语言学入手，运用其范畴理论、原形理论来探索模糊语言的认知原因。进而通过对语言模糊现象的研究深入了解人类思维的本质。
This paper is a brief discussion on the phenomenon of semantic fuzziness in terms of the fuzzy set and the prototypical category theory in cognitive linguistics.
结合认知语言学原型范畴理论和模糊集合理论，探讨语义的模糊性。
Peter Newmarks text category theory provides a new perspective for the study of translation. Different types of text call for different approaches to translation.
纽马克的文本范畴理论为翻译标准的研究提供了新的视点。
To realize the semantic integration between geo-ontology, a category theory method is proposed in which the geo-ontology is viewed as abstracted objects of category.
为了实现地理本体之间的语义集成，提出了基于范畴论的方法。
I then showed how coarse-grained mechanisms, based on category theory, that allow you to leverage the code written (and debugged) by the language designer to solve problems.
之后，我还展示了基于范畴论的粗粒度的机制，它可以让您利用语言设计者所写(和调试)的代码来解决问题。
Cognitive theoretical evidence in the memetic phenomena in the use of language can be found in the attentional view, experiential view, basic category theory and integration.
语言模因现象可以在注意观、经验观、基本范畴理论和整合观中找到认知理据。
I then showed how coarse -grained mechanisms, based on category theory, that allow you to leverage the code written (and debugged) by the language designer to solve problems.
之后，我还展示了基于范畴论的粗粒度的机制，它可以让您利用语言设计者所写(和调试)的代码来解决问题。
In this paper we aims to study the fundamental properties of the above mentioned categories and then explain the their relations accurately in the language of category theory.
本论文旨在通过研究以上相应各范畴的性质，并且用范畴论的语言来准确地描述它们的良好关系。
Based on the prototype category theory of cognitive linguistics, this thesis has made a study of the generation and expansion of the "give" concept and the "give" sentence in English.
本文以认知语言学的原型范畴理论为基础，对予授概念和英语予授句的生成和扩展进行了研究。
This article mainly discusses markedness on semantic level and attempts to use prototype category theory to explain it. Finally, the author discusses the influence of markedness ons...
本文主要探讨语义层面上的标记现象并试用认知语言学中的原型范畴理论对其作出解释，最后将讨论标记程度不同的语言形式对第二语言习得的影响。
The discussion discloses that explanation of transitivity based on the prototypical category theory is inadequate, as it is short of the kind of rigidity required by scientific research.
以原型范畴界定动词属性不能满足科学所要求的充分解释力，也不具有刚性特征。
New-Platonisms dialectic thought mainly represents the thought of the unitarity and motion of the world, of the negation of negation, and of the unity of opposites of the category theory.
新柏拉图主义的辩证法思想主要表现为关于世界的统一性和运动变化的思想，关于否定之否定的思想以及范畴学说中的对立和同一的思想。
Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.
在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。
Laboratory studies of category acquisition limit to categorization task. So category theory on the basis of classification study can not applied to other nonclassification types of category learning.
实验室有关范畴学习的研究只局限于对分类的研究上，这就导致在分类研究基础上提出的范畴理论不能适用于其他非分类范畴学习任务。
Laboratory studies of category acquisition limit to categorization task. So category theory on the basis of classification study can not applied to other nonclassification types of category learning.
实验室有关范畴学习的研究只局限于对分类的研究上，这就导致在分类研究基础上提出的范畴理论不能适用于其他非分类范畴学习任务。
应用推荐