尼古拉·布尔巴基和范畴论

快捷方式: 差异，相似，杰卡德相似系数，参考。

尼古拉·布尔巴基和范畴论之间的区别

尼古拉·布尔巴基 vs. 范畴论

尼古拉·布尔巴基（Nicolas Bourbaki，法語發音）是20世纪一群法国数学家的笔名。他們由1935年開始撰寫一系列述說對現代高等數學探研所得的書籍。以把整個數學建基於集合论為目的，在過程中，布尔巴基致力於做到最極端的嚴謹和泛化，建立了些新術語和概念。 布尔巴基是个虚构的人物，布尔巴基团体的正式称呼是“尼古拉·布尔巴基合作者协会”，在巴黎的高等师范学校设有办公室。. 疇論是數學的一門學科，以抽象的方法來處理數學概念，將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇，並且使用範疇論，令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。 範疇最容易理解的一個例子為集合範疇，其物件為集合，態射為集合間的函數。但需注意，範疇的物件不一定要是集合，態射也不一定要是函數；一個數學概念若可以找到一種方法，以符合物件及態射的定義，則可形成一個有效的範疇，且所有在範疇論中導出的結論都可應用在這個數學概念之上。 範疇最簡單的例子之一為广群，其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現，在理論電腦科學的某些領域中用于對應資料型別，而在數學物理中被用來描述向量空間。 範疇論不只是對研究範疇論的人有意義，對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」，即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。.

塞缪尔·艾伦伯格

塞缪尔·艾伦伯格（Samuel Eilenberg，）是一个波兰-美国数学家，犹太血统。他出生于俄罗斯帝国时期的华沙（现在为波兰），逝于美国纽约市，他是纽约哥伦比亚大学的教授，在那里度过了大部分职业生涯。 他于1936年在华沙大学获得哲学博士学位。他的论文导师是Karol Borsuk。他主要研究兴趣是代数拓扑。他与诺曼·斯廷罗德一起建立了同调论的公理化，与桑德斯·麦克兰恩合作公理化了同调代数。在这个过程中，艾伦伯格与 Mac Lane 创立了范畴论。 艾伦伯格加入了尼古拉·布尔巴基小组，与昂利·嘉当合作，1956年著有《同调代数 Homological Algebra》，这是一部经典著作。 其后他主要工作是纯粹范畴论，是该领域的奠基者之一。Eilenberg swindle（或 telescope）是将裂项消元法想法运用于投射模的一个构造。 艾伦伯格也写了一部关于自动机理论的重要著作。X-机器（X-machine），是由艾伦伯格1974年引进的一种形式的自动机。.

塞缪尔·艾伦伯格和尼古拉·布尔巴基 · 塞缪尔·艾伦伯格和范畴论 · 查看更多 »

代数几何

代数几何是数学的一个分支。 经典代数几何研究多项式方程的零点，而现代代数几何将抽象代数，尤其是交换代数，同几何学的语言和问题结合起来。 代数几何的基本研究对象为代数簇。代数簇是由空间坐标的若干代数方程的零点集。常见的例子有平面代数曲线，比如直线、圆、椭圆、抛物线、双曲线、三次曲线（非奇异情形称作椭圆曲线）、四次曲线（如双纽线，以及卵形线）、以及一般n次曲线。代数几何的基本问题涉及对代数簇的分类，比如考虑在双有理等价意义下的分类，即双有理几何，以及模空间问题，等等。 代数几何在现代数学占中心地位，与多复变函数论、微分几何、拓扑学和数论等不同领域均有交叉。始于对代数方程组的研究，代数几何延续解方程未竟之事；与其求出方程实在的解，代数几何尝试理解方程组的解的几何性质。代数几何的概念和技巧都催生了某些最深奥的数学的分支。 进入20世纪，代数几何的研究又衍生出几个分支：.

代数几何和尼古拉·布尔巴基 · 代数几何和范畴论 · 查看更多 »

空集

集是不含任何元素的集合，數學符號為\empty、\varnothing或\。.

尼古拉·布尔巴基和空集 · 空集和范畴论 · 查看更多 »

集合论

集合論（Set theory）或稱集論，是研究集合（由一堆構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。在大多數現代數學的公式化中，都是在集合論的語言下談論各種。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾及德國数学家理察·戴德金的樸素集合論開始。在樸素集合論中，集合是當做一堆物件構成的整體之類的自證概念，沒有有關集合的形式化定義。在發現樸素集合論會產生一些後，二十世紀初期提出了許多公理化集合論，其中最著名的是包括選擇公理的策梅洛-弗蘭克爾集合論，簡稱ZFC。公理化集合論不直接定義集合和集合成員，而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一，特別是 ZFC 集合論。除了其基礎的作用外，集合論也是數學理論中的一部份，當代的集合論研究有許多離散的主題，從實數線的結構到大基数的一致性等。.

尼古拉·布尔巴基和集合论 · 范畴论和集合论 · 查看更多 »