您要查找的是不是:
- 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-完備集上的一個(gè)擴張定理;證明范疇ZP是一個(gè)笛卡兒閉范疇.
- A Remark on the Meet of Two Cartesian Closed Categories 關(guān)于兩個(gè)Cartesian閉范疇交的一點(diǎn)注記
- In this paper we obtain that the category of consistent L-domains and Scott continuous functions is cartesian closed. 考察相容L-domain范疇,得出了以Scott連續映射為態(tài)射的相容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. 并從范疇學(xué)的角度考察證明了以相容雙有限domain為對象;Scott連續映射為態(tài)射的范疇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連續映射為態(tài)射,FS-相容Domain為對象的范疇FS-CDOM是笛卡兒閉范疇并以FS-Domain范疇FS-DOM作為滿(mǎn)的反射子范疇。
- A Kind of Category for Domains and Its Maximal Cartesian Closed Subcategories 一類(lèi)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為其滿(mǎn)子范疇,利用上述結果可得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的相關(guān)性質(zhì),用函數空間的研究方法證明了以ScottDS連續映射為態(tài)射,以有界完全Domain為對象的范疇的笛卡兒閉性;
- Two Important Properties of Cartesian Closed Domain Categories 笛卡兒閉Domain范疇的兩個(gè)重要性質(zhì)
- He closed the deal successfully and was home free. 買(mǎi)賣(mài)成交了,他松了一口氣。
- People say that the tiger is still lurk close to. 人們說(shuō)那只老虎還躲在附近。
- The boss readily closed with the offer. 老板馬上接受了這個(gè)報價(jià)。
- Have you closed the gate and windows? 你把門(mén)窗關(guān)嚴實(shí)了嗎?
- He closed his speech with a funny joke. 他用一則有趣的笑話(huà)結束了演講。
- That oyster closed up its valves. 那個(gè)牡蠣把殼合攏起來(lái)。
- She is buying a flat close to her office. 她正在購買(mǎi)一套靠近她辦公室的單元房。
- She's always been very close about her past life. 她對自己過(guò)去的生活一直守口如瓶。
- For the umpteenth time close the door quietly. 我告訴過(guò)你好多次要輕輕地關(guān)門(mén)。
- The Waterloo line is closed for repair. 滑鐵盧鐵路線(xiàn)因維修關(guān)閉。
- This project has been closed up. 這個(gè)項目已終止了。