比浏览器更快的访问！
20 关系: 可加範疇，可表函子，同倫，同調代數，同构，圖示 (範疇論)，分離態射，函子，积 (范畴论)，範疇 (數學)，豪斯多夫空间，范畴论，阿貝爾範疇，阿贝尔群，集合，P進數，推出 (范畴论)，泛函分析，濾子化範疇，有限集合。
可加範疇
在範疇論中，一個可加範疇是一個存在有限雙積的預加法範疇。舊文獻所謂的「可加範疇」有時指預可加範疇，在當代理論中則傾向於區別兩者。 一如預可加範疇，對一交換環k也能定義k-可加範疇，可加範疇是k.
新！!: 极限 (范畴论)和可加範疇 · 查看更多 »
可表函子
可表函子是在数学中范畴论里的概念，指从任意范畴到集合范畴的一种特殊函子。这种函子将抽象的范畴表达成人们熟知的结构（即集合与函数），从而使得对集合范畴的了解可以尽可能应用到其它环境中。 从另外一个角度看，范畴的可表函子是随范畴而生的。因此，可表函子理论可以视作偏序集合理论中的上闭集合以及群论中的凱萊定理的极大的推广。.
新！!: 极限 (范畴论)和可表函子 · 查看更多 »
同倫
在數學中，同倫（Homotopy）的概念在拓撲上描述了兩個對象間的「連續變化」。.
新！!: 极限 (范畴论)和同倫 · 查看更多 »
同調代數
同調代數是數學的一個分支，它研究同調與上同調技術的一般框架。.
新！!: 极限 (范畴论)和同調代數 · 查看更多 »
同构
在抽象代数中，同构（isomorphism）指的是一个保持结构的双射。在更一般的范畴论语言中，同构指的是一个态射，且存在另一个态射，使得两者的复合是一个恒等态射。 正式的表述是：同构是在数学对象之间定义的一类映射,它能揭示出在这些对象的属性或者操作之间存在的关系。若两个数学结构之间存在同构映射，那么这两个结构叫做是同构的。一般来说，如果忽略掉同构的对象的属性或操作的具体定义，单从结构上讲，同构的对象是完全等价的。.
新！!: 极限 (范畴论)和同构 · 查看更多 »
圖示 (範疇論)
在範疇論中，圖示是集合論中的索引族於範疇論中的類比。兩者主要的不同在於，在範疇論中，態射也需要索引。集合的索引族是指由一個固定的集合索引的一組集合，亦可以說是由一個固定的索引「集合」映射至一組「集合」的「函數」。圖示則是指由一固定範疇索引的一組物件及態射，亦可以說是由一固定索引「範疇」映射至某些「範疇」的「函子」。 圖示及錐體是用來定義極限的核心概念。.
新！!: 极限 (范畴论)和圖示 (範疇論) · 查看更多 »
分離態射
在數學中，分離態射是概形間一類具良好幾何性質的態射，由此可定義分離概形。在亞歷山大·格羅滕迪克的著作中，原將一般的概形稱作預概形（préschéma），而將分離概形稱作概形；1967年左右改稱現名。.
新！!: 极限 (范畴论)和分離態射 · 查看更多 »
函子
在範疇論中，函子是範疇間的一類映射。函子也可以解釋為小範疇範疇內的態射。 函子首先現身於代數拓撲學，其中拓撲空間的連續映射給出相應的代數对象（如基本群、同調群或上同調群）的代數同態。在當代數學中，函子被用來描述各種範疇間的關係。「函子」（英文：Functor）一詞借自哲學家魯道夫·卡爾納普的用語。卡爾納普使用「函子」這一詞和函數之間的相關來類比謂詞和性質之間的相關。對卡爾納普而言，不同於當代範疇論的用法，函子是個語言學的詞彙。對範疇論者來說，函子則是個特別類型的函數。.
新！!: 极限 (范畴论)和函子 · 查看更多 »
积 (范畴论)
范畴论中，积（或直积）的概念提取了集合的笛卡儿积、群的积、环的积、拓扑空间的积等概念的共性。本质上讲，一组对象的积是到这些对象都有态射的对象中最具代表性的。.
新！!: 极限 (范畴论)和积 (范畴论) · 查看更多 »
範疇 (數學)
在範疇論中，範疇此一概念代表著一堆數學實體和存在於這些實體間的關係。對範疇的研究允許其公式化抽象結構及保有結構的數學運算等概念。實際上，範疇在現代數學的每個分支之中都會出現，而且是統合這些領域的核心概念。有關範疇自身的研究被稱做是範疇論。.
新！!: 极限 (范畴论)和範疇 (數學) · 查看更多 »
豪斯多夫空间
在拓扑学和相关的数学分支中，豪斯多夫空间、分离空间或T2空间是其中的点都“由邻域分离”的拓扑空间。在众多可施加在拓扑空间上的分离公理中，“豪斯多夫条件”是最常使用和讨论的。它蕴涵了序列、网和滤子的极限的唯一性。直观地讲，这个条件可用个双关语来形容：如果某空间中任两点可用开集合将彼此“豪斯多夫”开来，该空间就是“豪斯多夫”的。 豪斯多夫得名于拓扑学的创立者之一费利克斯·豪斯多夫。豪斯多夫最初的拓扑空间定义把豪斯多夫条件包括为公理。.
新！!: 极限 (范畴论)和豪斯多夫空间 · 查看更多 »
范畴论
疇論是數學的一門學科，以抽象的方法來處理數學概念，將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇，並且使用範疇論，令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。 範疇最容易理解的一個例子為集合範疇，其物件為集合，態射為集合間的函數。但需注意，範疇的物件不一定要是集合，態射也不一定要是函數；一個數學概念若可以找到一種方法，以符合物件及態射的定義，則可形成一個有效的範疇，且所有在範疇論中導出的結論都可應用在這個數學概念之上。 範疇最簡單的例子之一為广群，其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現，在理論電腦科學的某些領域中用于對應資料型別，而在數學物理中被用來描述向量空間。 範疇論不只是對研究範疇論的人有意義，對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」，即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。.
新！!: 极限 (范畴论)和范畴论 · 查看更多 »
阿貝爾範疇
在數學中，阿貝爾範疇（或稱交換範疇）是一個能對態射與對象取和，而且核與上核存在且滿足一定性質的範疇；最基本的例子是阿貝爾群構成的範疇Ab。阿貝爾範疇是同調代數的基本框架。.
新！!: 极限 (范畴论)和阿貝爾範疇 · 查看更多 »
阿贝尔群
阿貝爾群（Abelian group）也稱爲交換群（commutative group）或可交換群，它是滿足其元素的運算不依賴於它們的次序（交換律公理）的群。阿貝爾群推廣了整數集合的加法運算。阿貝爾群以挪威數學家尼尔斯·阿貝爾命名。 阿貝爾群的概念是抽象代數的基本概念之一。其基本研究對象是模和向量空間。阿貝爾群的理論比其他非阿貝爾群簡單。有限阿貝爾群已經被徹底地研究了。無限阿貝爾群理論則是目前正在研究的領域。.
新！!: 极限 (范畴论)和阿贝尔群 · 查看更多 »
集合
集合可以指：.
新！!: 极限 (范畴论)和集合 · 查看更多 »
P進數
进数是数论中的概念，也称作局部数域，是有理数域拓展成的完备数域的一种。这种拓展与常见的有理数域\mathbb到实数域\mathbb、复数域\mathbb的数系拓展不同，其具体在于所定义的“距离”概念。进数的距离概念建立在整数的整除性质上。给定素数，若两个数之差被的高次幂整除，那么这两个数距离就“接近”，幂次越高，距离越近。这种定义在数论性质上的“距离”能够反映同余的信息，使进数理论成为了数论研究中的有力工具。例如安德鲁·怀尔斯对费马大定理的证明中就用到了进数理论。 进数的概念首先由库尔特·亨泽尔于1897年构思并刻画，其发展动机主要是试图将幂级数方法引入到数论中，但现今进数的影响已远不止于此。例如可以在进数上建立p进数分析，将数论和分析的工具结合起来。此外进数在量子物理学、认知科学、计算机科学等领域都有应用。.
新！!: 极限 (范畴论)和P進數 · 查看更多 »
推出 (范畴论)
在范畴论中，一个数学领域， 推出（也称为纤维餘积、纤维和、共合和或餘笛卡尔方块）是由具有公共定义域的两个态射 f: Z → X 与 g: Z → Y 组成的图表的餘极限。 推出是拉回的范畴对偶。.
新！!: 极限 (范畴论)和推出 (范畴论) · 查看更多 »
泛函分析
泛函分析（Functional Analysis）是现代数学分析的一个分支，隶属于分析学，其研究的主要对象是函数构成的函数空间。泛函分析历史根源是由对函数空间的研究和对函数的变换（如傅立叶变换等）的性质的研究。这种观点被证明是对微分方程和积分方程的研究中特别有用。 使用泛函这个词作为表述源自变分法，代表作用于函数的函数，这意味着，一个函数的参数是函数。这个名词首次被雅克·阿达马在1910年使用于这个课题的书中。是泛函分析理论的主要奠基人之一。然而，泛函的一般概念以前曾在1887年是由意大利数学家和物理学家維多·沃爾泰拉（Vito Volterra）介绍。非线性泛函理论是由雅克·阿达马的学生继续研究，特别是莫里斯·弗雷歇（Maurice Fréchet）可和列维（Levy）。雅克·阿达马还创立线性泛函分析的现代流派，并由弗里杰什·里斯和一批围绕着斯特凡·巴拿赫（Stefan Banach）的波兰数学家进一步发展。.
新！!: 极限 (范畴论)和泛函分析 · 查看更多 »
濾子化範疇
在範疇論中，若一個範疇I滿足下列條件，則稱它是濾子化的（filtrant或filtered）：.
新！!: 极限 (范畴论)和濾子化範疇 · 查看更多 »
有限集合
数学中，一个集合被称为有限集合，簡單來說就是元素個數有限，嚴格而言則是指有一个自然数n使该集合与集合之间存在双射。例如 -15到3之间的整数组成的集合，这个集合有19个元素，它跟集合存在雙射，所以它是有限的。不是有限的集合称为无限集合。 也就是说如果一个集合的基数是自然数，那这个集合就是有限的。所有的有限集合都是可数的，但并不是所有的可数集都是有限的，例如所有素数的集合。 有一个定理（戴德金定理）是：一个集合是有限的当且仅当不存在一个该集合与它的任何一个真子集之间的双射。 I I.
新！!: 极限 (范畴论)和有限集合 · 查看更多 »
