徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
自由
比浏览器更快的访问!
 

正合函子

指数 正合函子

在範疇論中,正合函子(或譯作恰當函子)是保存有限極限的函子。在阿貝爾範疇中,這就相當於保存正合序列的函子。.

7 关系: 函子函子範疇范畴论阿貝爾範疇阿贝尔群正合序列

函子

在範疇論中,函子是範疇間的一類映射。函子也可以解釋為小範疇範疇內的態射。 函子首先現身於代數拓撲學,其中拓撲空間的連續映射給出相應的代數对象(如基本群、同調群或上同調群)的代數同態。在當代數學中,函子被用來描述各種範疇間的關係。「函子」(英文:Functor)一詞借自哲學家魯道夫·卡爾納普的用語。卡爾納普使用「函子」這一詞和函數之間的相關來類比謂詞和性質之間的相關。對卡爾納普而言,不同於當代範疇論的用法,函子是個語言學的詞彙。對範疇論者來說,函子則是個特別類型的函數。.

新!!: 正合函子和函子 · 查看更多 »

函子範疇

在範疇論中,兩個範疇間的函子具有範疇結構,其中的對象是函子,而態射則為自然變換。函子範疇的重要在於:.

新!!: 正合函子和函子範疇 · 查看更多 »

环可能指:.

新!!: 正合函子和环 · 查看更多 »

范畴论

疇論是數學的一門學科,以抽象的方法來處理數學概念,將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇,並且使用範疇論,令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。 範疇最容易理解的一個例子為集合範疇,其物件為集合,態射為集合間的函數。但需注意,範疇的物件不一定要是集合,態射也不一定要是函數;一個數學概念若可以找到一種方法,以符合物件及態射的定義,則可形成一個有效的範疇,且所有在範疇論中導出的結論都可應用在這個數學概念之上。 範疇最簡單的例子之一為广群,其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現,在理論電腦科學的某些領域中用于對應資料型別,而在數學物理中被用來描述向量空間。 範疇論不只是對研究範疇論的人有意義,對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」,即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。.

新!!: 正合函子和范畴论 · 查看更多 »

阿貝爾範疇

在數學中,阿貝爾範疇(或稱交換範疇)是一個能對態射與對象取和,而且核與上核存在且滿足一定性質的範疇;最基本的例子是阿貝爾群構成的範疇Ab。阿貝爾範疇是同調代數的基本框架。.

新!!: 正合函子和阿貝爾範疇 · 查看更多 »

阿贝尔群

阿貝爾群(Abelian group)也稱爲交換群(commutative group)或可交換群,它是滿足其元素的運算不依賴於它們的次序(交換律公理)的群。阿貝爾群推廣了整數集合的加法運算。阿貝爾群以挪威數學家尼尔斯·阿貝爾命名。 阿貝爾群的概念是抽象代數的基本概念之一。其基本研究對象是模和向量空間。阿貝爾群的理論比其他非阿貝爾群簡單。有限阿貝爾群已經被徹底地研究了。無限阿貝爾群理論則是目前正在研究的領域。.

新!!: 正合函子和阿贝尔群 · 查看更多 »

正合序列

在數學裡,尤其是在群論、環與模理論、同調代數及微分幾何等數學領域中,正合序列(或釋作正合列或恰當序列)是指一個由對象及其間的態射所組成的序列,該序列中的每一個態射的像都恰好是其下一個態射的核。正合序列可以為有限序列或無限序列。 正合序列於同調代數中居於核心地位,其中特別重要的一類是短正合序列。.

新!!: 正合函子和正合序列 · 查看更多 »

传出传入
嘿!我们在Facebook上吧! »