函子的范疇 的英文怎麼說
中文拼音 [hánzidefànchóu]
函子的范疇
英文
category of functors- 函 : 名詞1. [書面語] (匣; 封套) case; envelope 2. (信件) letter 3. (姓氏) a surname
- 子 : 子Ⅰ名詞1 (兒子) son 2 (人的通稱) person 3 (古代特指有學問的男人) ancient title of respect f...
- 的 : 4次方是 The fourth power of 2 is direction
- 范 : 名詞1 [書面語] (模子) pattern; mould; matrix 2 (模範; 榜樣) model; example 3 (范圍) boundar...
- 疇 : 名詞1. [書面語] (田地) farmland 2. [書面語] (種類) kind; division 3. [物理學] (定義范圍; 領域) domain 4. (姓氏) a surname
- 范疇 : category; domain; scope
-
On dual functors in categories of twisted lie structures
結構范疇中的對偶函子Category of functors
函子的范疇The basic properties of stable functions are given firstly. distributive dcpo is defined then and the stable function on this kind of dcpo is discussed in detail
給出了范疇slp的滿子范疇笛卡爾閉的必要條件,即證明了slp的滿子范疇中的指數對象就是穩定映射構成的函數空間Six distinguished computer experts including scott defined the weight of continuous lattices in the first reference and proved that the three kind of weights ? ei g ht of continuous lattices, weight of the related scott topological space and weight of the related lawson topological space, are consistent
證明了幾類分配的domain范疇即sdscs 、 sdccs 、 sdacs是slp的閉的滿子范疇,指出在slp的滿子范疇中指數對象同構于穩定映射所成的函數空間。By constructing two functor, we have proved a representation theorem of the category stml that the category stml is equivalent with the category fsts, where fsts is consisted of - fuzzifying scott topological spaces and the mappings which are preserving directed - join and way - below relation and continuous. besides, the category stml ( c ) has been discussed, where c is a subcategory of the category of the completely distributive lattices and gohs, c, morphisms are ( 1, 2 ) - smooth continuous goh
構造性地給出一對函子,並以此證明了范疇stml ( l )的一個表示定理,即范疇stml ( l )與范疇fsts ( l ) (由l - fuzzifyingscott拓撲空間與保定向並和way - below關系的l - fuzzifying連續映射所構成的范疇)等價。分享友人