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

范畴的等价

指数 范畴的等价

在数学的一个抽象分支范畴论中,范畴的等价(equivalence of categories)是两个范畴间的一个关系,在这种关系之下的范畴是“本质上一样的”。从数学的许多地方都有范畴等价的例子。建立一个等价涉及展示所考虑的数学结构间很强的相似性。在许多情形,这些结构表面或直觉上看并无关联,这样就使这种概念特别有用:它提供了在不同数学结构之间翻译的可能性,本质一语是指在翻译中保持的定理。 如果一个范畴等价于另一个范畴的反范畴,则我们说“范畴的对偶性”,以及这两个范畴对偶等价。 范畴的等价由所涉范畴的一个函子组成,这个函子要求有一个“逆”函子。但与通常代数语境的同构不同,这个函子与它的逆不必是恒等映射,二只要每个对象自然同构与在此符合函子下的像。从而我们可以说这个函子是差一个同构下的逆。这实际上是范畴的同构的概念,其中要求逆函子的严格性质,但这比“等价”概念用得要少。.

5 关系: 层 (数学)交换环森田等价模型范畴拓撲量子場論

层 (数学)

数学上,在给定拓扑空间X上的一个层(sheaf)(或译束、捆)F对于X的每个开集给出一个集合或者一个更丰富的结构F(U)。这个结构F(U)和把开集限制(restricting)到更小的子集的操作相容,并且可以把小的开集粘起来得到更大的。一个预层(presheaf)和一个层相似,但它可能不可以粘起来。事实上,层使得我们可以用一种细致的方式讨论什么是局部性质,就像应用在函数上的层。.

新!!: 范畴的等价和层 (数学) · 查看更多 »

交换环

在抽象代数之分支环论中,一个交换环(commutative ring)是乘法运算满足交换律的环。对交换环的研究称为交换代数学。 某些特定的交换环在下列类包含链中:.

新!!: 范畴的等价和交换环 · 查看更多 »

森田等价

在抽象代数中,森田等价(Morita equivalence)是定义在环之间的一个等价关系,这个等价保持许多环论性质。以日本数学家命名,他在1958年定义了这个等价关系以及对偶性的一个类似概念。.

新!!: 范畴的等价和森田等价 · 查看更多 »

模型范畴

在数学、尤其是同伦论中,模型范畴是带有弱等价、纤维化和上纤维化这三类态射的范畴,是从传统的拓扑空间或链复形的同倫範疇(即导出范畴)中抽象化得来。模型范畴的概念最初由丹尼尔·奎伦引入。 近年来,模型范畴的语言应用到了代数K理论和代数几何的部分研究中。在这些分支中,使用同伦论的研究方法得出过深刻的结果。.

新!!: 范畴的等价和模型范畴 · 查看更多 »

拓撲量子場論

拓扑量子场论(又称拓扑场论,简称TQFT)是一类计算拓扑不变量的量子场论。其共同特征是某些相关函数不依赖于背景时空流形的度量。 虽然拓扑量子场论由物理学家发明,但是在数学上也具有重要意义,与纽结理论、代数拓扑中的、代数几何中的模空间等分支均有联系。西蒙·唐纳森、沃恩·琼斯、爱德华·威滕和马克西姆·孔采维奇都因对拓扑场论方面的研究而获得菲尔兹奖。 20世纪70年代,阿尔伯特·施瓦茨就研究过一种拓扑量子场论(阿贝尔的陈-塞蒙斯场论)。80年代末,在迈克尔·阿蒂亚启发下,研究了三个拓扑量子场论:一个由超对称杨-米尔斯场论扭变得到,用以将唐纳森不变量和弗勒尔瞬子同调解释为量子物理对象;第二个是非阿贝尔的陈-塞蒙斯场论,用以将琼斯多项式及其衍生物解释为量子物理对象;第三个由超对称Σ模型扭变得到,用以将格罗莫夫的赝全纯曲线和弗勒尔的拉格朗日同调解释为量子物理对象。1994年威滕应用弦论学家得到的强弱对偶结果将唐纳森不变量等价为更易计算的塞伯格-威滕不变量。进入21世纪,威滕等人又研究了具有更多超对称的杨-米尔斯场论的扭变,并将数学中的几何郎兰兹对偶解释为量子场论中的强弱对偶。威滕等人进一步发现,Σ模型、陈-塞蒙斯场论、以及超对称杨-米尔斯场论之间有千丝万缕的联系,它们都可以包含在弦论或者M-理论中,在这个大框架之下,琼斯多项式的范畴化——霍万诺夫同调被解释为量子物理对象。 在凝聚体物理学中,拓扑量子场论是拓扑有序态的低能有效理论,例如分数量子霍尔态、弦网凝聚态及其他强关联液态自旋量子。.

新!!: 范畴的等价和拓撲量子場論 · 查看更多 »

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