範疇的是模型論的基本概念之一。指理論J的任意兩個模型都是同構的。兩個模型同構,實質上可以看作一個模型。因此,從結構的觀點看,一個理論是範疇的,指的是該理論在同構的意義下,實質上只有一個模型。範疇性通過對形式理論的模型性質的某種規定來刻畫形式理論本身的性質。
範疇的是模型論的基本概念之一。指理論J的任意兩個模型都是同構的。兩個模型同構,實質上可以看作一個模型。因此,從結構的觀點看,一個理論是範疇的,指的是該理論在同構的意義下,實質上只有一個模型。範疇性通過對形式理論的模型性質的某種規定來刻畫形式理論本身的性質。
最一般的概念,這些概念反映著客觀現實現象的基本性質和規律性以及規定著一個時代的科學理論思維的特點。物質、運動、意識、質和量、原因和結果、可能性和現實、自由...
範疇是一個漢語詞語,拼音是fàn chóu,一指人的思維對客觀事物本質的概括的反映,二指類型;範圍。...
在數學中,範疇(category),是一種包含了對象及對象之間箭頭的代數結構。範疇具有兩個基本性質:一是對象之間的箭頭可以複合,且複合是滿足結合律的;二是每個對象到...
範疇的是模型論的基本概念之一。指理論J的任意兩個模型都是同構的。兩個模型同構,實質上可以看作一個模型。因此,從結構的觀點看,一個理論是範疇的,指的是該...
五大範疇指的是唯物辯證法的基本範疇:原因與結果、必然性與偶然性、可能性與現實性、現象與本質、內容與形式。...
《範疇的世界》是2012年出版的圖書,作者是嚴春友。...... 《範疇的世界:西方哲學範疇專題研究》介紹了從文化的自覺到哲學的自覺,這體現了我們對自身文化的更深層理...
範疇原型(原型範疇),主要就是指具有“家族相似性”的範疇,即含有原型和非原型的範疇。學者們對“原型”這一術語主要有兩種不同的解釋:(1)指具體的典型代表,是...
範疇性(categoricity)是理論的某個基數的模型都同構的一種特性。設L為一可數語言,T是L中的完全理論。如果T恰有一個可數模型(在同構意義下),則稱T為ω範疇的。...
主要範疇,比利時新修辭學法學家C.佩雷爾曼認為,應當以相同方式對待人的形式正義,雖然是人們普遍樂於接受的,但卻不能直接在現實生活中適用,因此缺少“主要範疇”的...
具體範疇(concrete category)一種常用的重要範疇.對象都是集合的範疇稱為具體範疇,可以看成r-,f'et(集合範疇)的子範疇,代數學中的常用範疇都是具體範疇.用函子...
範疇效應是針對忽視了短時記憶信息提取中項目的組織問題而提出的。國外一些心理學家在對記憶信息抽取過程的實驗研究中發現,如果記憶字表由屬於不同範疇的字詞所組成,...
等價範疇,即範疇的等價。在數學的一個抽象分支範疇論中,範疇的等價(equivalence of categories)是兩個範疇間的一個關係,在這種關係之下的範疇是“本質上一樣的”...
有限範疇(finite category)一類特殊的範疇.只有有限個態射的範疇稱為有限範疇.由範疇的定義,留為有限範疇是指省的對象只有有限個且每兩個對象間的態射集都是有限...
範疇是範疇論的基本概念之一。離散範疇(discrete category)是一種特殊的範疇。即只有恆等態射的範疇。在某種意義上來說,範疇論提煉了數學(甚至其他學科)各分支的...
商範疇(quotient category)是代數系的商代數系及局部化的高度推廣。範疇是範疇論的基本概念之一。商代數是一個代數結構模它的同餘關係產生的新的代數結構。一個...
《範疇的世界:西方哲學範疇專題研究》介紹了從文化的自覺到哲學的自覺,這體現了我們對自身文化的更深層理解,是我們對自身文化的負責態度。僅僅停留在文化自覺的層面...