您要查找的是不是:
- 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是一个笛卡儿闭范畴.
- A Remark on the Meet of Two Cartesian Closed Categories 关于两个Cartesian闭范畴交的一点注记
- 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闭范畴的结论。
- Then it inspects and proves that the category CBF of consistently bifinite domains with Scott-continuous function is Cartesian closed in terms of category theory. 并从范畴学的角度考察证明了以相容双有限domain为对象;Scott连续映射为态射的范畴CBF是笛卡儿闭范畴.
- The category FS-CDOM of consistent FS-domains and Scott continuous functions is Cartesian closed and has the category FS-DOM of FS-domains and Scott continuous functions as a full reflective subcategory. 证明了以Scott连续映射为态射,FS-相容Domain为对象的范畴FS-CDOM是笛卡儿闭范畴并以FS-Domain范畴FS-DOM作为满的反射子范畴。
- A Kind of Category for Domains and Its Maximal Cartesian Closed Subcategories 一类Domain范畴及其笛卡儿闭子范畴
- Since R-[WTHT]C and B-[WTHT]C both contain [WTHT]C as their full subcategory, a maximal Cartesian closed full subcategory of CONT must be closed with both retracts and bilimits of expanding- sequences. 由于R-C和B-C都包含C为其满子范畴,利用上述结果可得CONT的极大笛卡儿闭子范畴必对收缩和双极限封闭。
- In this paper, we gave various properties of bounded complete domain. And we proved, with Scott continuous functions as morphisms, the category of bounded complete domain is Cartesian closed; 介绍了有界完全Domain的相关性质,用函数空间的研究方法证明了以ScottDS连续映射为态射,以有界完全Domain为对象的范畴的笛卡儿闭性;
- Two Important Properties of Cartesian Closed Domain Categories 笛卡儿闭Domain范畴的两个重要性质
- He closed the deal successfully and was home free. 买卖成交了,他松了一口气。
- People say that the tiger is still lurk close to. 人们说那只老虎还躲在附近。
- The boss readily closed with the offer. 老板马上接受了这个报价。
- Have you closed the gate and windows? 你把门窗关严实了吗?
- He closed his speech with a funny joke. 他用一则有趣的笑话结束了演讲。
- That oyster closed up its valves. 那个牡蛎把壳合拢起来。
- She is buying a flat close to her office. 她正在购买一套靠近她办公室的单元房。
- She's always been very close about her past life. 她对自己过去的生活一直守口如瓶。
- For the umpteenth time close the door quietly. 我告诉过你好多次要轻轻地关门。
- The Waterloo line is closed for repair. 滑铁卢铁路线因维修关闭。
- This project has been closed up. 这个项目已终止了。