说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> Cartesian闭范畴
1)  Cartesian closed category
Cartesian闭范畴
2)  cartesian closed
cartesian闭
1.
In this paper we obtain that the category of consistent L-domains and Scott continuous functions is cartesian closed.
考察相容L-domain范畴,得出了以Scott连续映射为态射的相容L-domain范畴是cartesian闭范畴的结论。
3)  S_L-closure category
S_L-闭包范畴
4)  Cartsian closedness
Cartesian封闭性
5)  Cartesian Closed Category
笛卡儿闭范畴
1.
In this paper, an extension theorem on Z-complete posets is given, and it is proved that the category of ZP is a Cartesian closed category.
给出Z-完备集上的一个扩张定理,证明范畴ZP是一个笛卡儿闭范畴。
6)  scope [英][skəʊp]  [美][skop]
范畴
1.
In the present study, the writers lay emphasis on the analysis of the scope of medical civil judicature, and discuss its definition and contents so as to make a basic research for the establishment of the medical civil ju.
医事民事司法范畴研究一文,着重介绍医事民事司法的范畴,探讨其内涵和外延,为医事民事司法的构建作铺垫性研究。
2.
There are differences in connotation and research scope between the two, and they also have natural and intrinsic relations:research of the former necessarily extends to the later, and research of later necessarily trace to the former.
课程论是解决“教什么”的问题,教学论是解决“怎么教”的问题,两者内涵与研究的范畴不同,又有着天然的内在联系。
补充资料:闭范畴


闭范畴
dosed category

  闭范畴l山月目口魄。灯;艾块.双”朋KaTerop“川 一个具有附加结构的范畴,其中内部Hom函子可以用来作为抽象张量积的右伴随函子. 一个范畴叨称为闭的代1粥ed)如果己经给定了一个双函子因:叭x珊,珊(见函子(I面Ctor))‘百一个特定的对象I,容许自然同构 a4角洲⑧B)⑧〔、A⑧tB②C)(结合性), 汕.1②月、」(左单位元), p;.月②I、A(右单位兀), K洲,一通⑧B、B⑧A(交换性)使下列的条件都满足:l)自然同构,,又,P,K都是凝聚的;2)每一个函子 l了J。(X)二H:,:(AOX.B):少之*任都是可表示的,这里的弓是集合的范畴.表示对象通常记作Hom。(A,B),并且它们可被看成双函子Hom。:叭’x叭~听(内部Hom函子)在对象上的值,如果双函子②与一个积重合,而I是叭的右零元(终对象),则叭称为一个兔~明薄畴(。州匕ha一d“比口记即ry). 下列的范畴都是I冶份找巴闭的:集合的范畴,小范畴的范畴,在一个拓扑空间上的集合的层的范畴.下列的范畴是闭的:有单位元的交换环上的模的范畴,与实(或复)致m朗h空间及范数不超过l的线性映射的范畴.
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条