比浏览器更快的访问！
44 关系: 域 (數學)，原群，单调函数，可加範疇，双线性映射，同构，同态，向量空间，完全偏序，一致空间，一致连续，幺半群，交换图表，度量空间，函子，函数，关系 (数学)，具體範疇，环 (代数)，环同态，积 (范畴论)，笛卡儿闭范畴，类 (数学)，线性映射，群，群同態，預可加範疇，顶点，预序关系，预序范畴，范畴论，阿貝爾範疇，阿贝尔群，自同构，集合，集合范畴，連續函數 (拓撲學)，极限 (范畴论)，有向图，流形，斯科特连续性，拓撲斯，拓扑空间，态射。
域 (數學)
在抽象代数中，域（Field）是一种可進行加、減、乘和除（除了除以零之外，「零」即加法單位元素）運算的代數結構。域的概念是数域以及四则运算的推广。 域是环的一种。域和一般的环的区别在于域要求它的元素（除零元素之外）可以进行除法运算，这等价于说每个非零的元素都要有乘法逆元。體中的運算关于乘法是可交换的。若乘法運算沒有要求可交換則稱為除環（division ring）或skew field。.
新！!: 範疇 (數學)和域 (數學) · 查看更多 »
原群
在抽象代數裡，原群是一種基本的代數結構。具體地說，原群有一個集合 M 和一個 M 上的二元運算 M × M → M 。此二元運算依定義是封閉的，且除此之外便沒有其他公理被加在此運算中。.
新！!: 範疇 (數學)和原群 · 查看更多 »
单调函数
在数学中在有序集合之间的函数是单调（monotone）的，如果它们保持给定的次序。这些函数最先出现在微积分中后来推广到序理论中更加抽象结构中。尽管概念一般是一致的，两个学科已经发展出稍微不同的术语。在微积分中，我们经常说函数是单调递增和单调递减的，在序理论中偏好术语单调、反单调或序保持、序反转。.
新！!: 範疇 (數學)和单调函数 · 查看更多 »
可加範疇
在範疇論中，一個可加範疇是一個存在有限雙積的預加法範疇。舊文獻所謂的「可加範疇」有時指預可加範疇，在當代理論中則傾向於區別兩者。 一如預可加範疇，對一交換環k也能定義k-可加範疇，可加範疇是k.
新！!: 範疇 (數學)和可加範疇 · 查看更多 »
双线性映射
在数论中，一个双线性映射是由两个向量空间上的元素，生成第三个向量空间上一个元素之函数，并且该函数对每个参数都是线性的。例如矩阵乘法就是一个例子。.
新！!: 範疇 (數學)和双线性映射 · 查看更多 »
同构
在抽象代数中，同构（isomorphism）指的是一个保持结构的双射。在更一般的范畴论语言中，同构指的是一个态射，且存在另一个态射，使得两者的复合是一个恒等态射。 正式的表述是：同构是在数学对象之间定义的一类映射,它能揭示出在这些对象的属性或者操作之间存在的关系。若两个数学结构之间存在同构映射，那么这两个结构叫做是同构的。一般来说，如果忽略掉同构的对象的属性或操作的具体定义，单从结构上讲，同构的对象是完全等价的。.
新！!: 範疇 (數學)和同构 · 查看更多 »
同态
抽象代数中，同态是两个代数结构（例如群、环、或者向量空间）之间的保持结构不变的映射。英文的同态(homomorphism)来自希腊语:ὁμός (homos)表示"相同"而μορφή (morphe)表示"形态"。注意相似的词根ὅμοιος (homoios)表示"相似"出现在另一个数学概念同胚的英文(homeomorphism)中。.
新！!: 範疇 (數學)和同态 · 查看更多 »
向量空间
向量空間是现代数学中的一个基本概念。是線性代數研究的基本对象。 向量空间的一个直观模型是向量几何，幾何上的向量及相关的運算即向量加法，標量乘法，以及对運算的一些限制如封闭性，结合律，已大致地描述了“向量空間”这个數學概念的直观形象。 在现代数学中，“向量”的概念不仅限于此，满足下列公理的任何数学对象都可被当作向量处理。譬如，實系數多項式的集合在定义适当的运算后构成向量空間，在代数上处理是方便的。单变元实函数的集合在定义适当的运算后，也构成向量空间，研究此类函数向量空间的数学分支称为泛函分析。.
新！!: 範疇 (數學)和向量空间 · 查看更多 »
完全偏序
在数学中，有向完全偏序和完全偏序是两种特殊的偏序集合，分别简写为 dcpo 和 cpo。它们特征化自特定的完备性性质。dcpos 和 cpos 是序理论的概念，主要应用于理论计算机科学和指称语义。.
新！!: 範疇 (數學)和完全偏序 · 查看更多 »
一致空间
在拓扑学這個數學領域裡，一致空间（uniform space）是指带有一致结构的集合。一致空间是一個拓撲空間，有可以用来定义如完备性、一致连续及一致收敛等一致性質的附加结构。 一致结构和拓扑结构之间的概念区别在於，一致空间可以形式化有关于相对邻近性及点间临近性等特定概念。换句话说，「x 邻近于a 胜过y 邻近于b」之類的概念，在一致空间中是有意义的。而相对的，在一般拓扑空间内，给定集合A 和B，有意义的概念只有：点x 能“任意邻近”A（亦即在A 的闭包內）；或是和B相比，A 是x 的“較小邻域”，但点间邻近性和相对邻近性就不能只用拓扑结构來描述了。 一致空间广義化了度量空间和拓扑群，因此成為多数数学分析的根基。.
新！!: 範疇 (數學)和一致空间 · 查看更多 »
一致连续
一致连续性描述定义在一定度量空间上的函数的性质。与连续性刻画函数在局部的性质不同，一致连续刻画的是函数的整体性质。一致连续是比连续更苛刻的条件。一个函数在某度量空间上一致连续，则其在此度量空间上必然连续，但反之未必成立。直观上，一致连续可以理解为，当自变量x在足够小的范围内变动时，函数值y的变动也会被限制在足够小的范围内。.
新！!: 範疇 (數學)和一致连续 · 查看更多 »
幺半群
在抽象代數此一數學分支中，幺半群（又稱為單群、亞群、具幺半群或四分之三群）是指一個帶有可結合二元運算和單位元的代數結構。么半群在許多的數學分支中都會出現。在幾何學中，幺半群捉取了函數複合的概念；更確切地，此一概念是從範疇論中抽象出來的，之中的幺半群是個帶有一個物件的範疇。幺半群也常被用來當做電腦科學的堅固代數基礎；在此，變換幺半群和語法幺半群被用來描述有限狀態自動機，而跡幺半群和歷史幺半群則是做為進程演算和並行計算的基礎。幺半群的研究中一些較重要的結論有克羅恩-羅德斯定理和星高問題。.
新！!: 範疇 (數學)和幺半群 · 查看更多 »
交换图表
在数学领域，尤其是范畴论中，通常使用以对象为顶点、态射为边的交换图表来直观的表达一些性质，尤其是泛性质。 在图表中，复合连接任意两个对象的不同路径上的态射，所得的结果均相等，则称此图表可交换。同时，按照惯例，实线通常表示任意给定的态射，虚线则表示存在或唯一存在的态射。.
新！!: 範疇 (數學)和交换图表 · 查看更多 »
度量空间
在数学中，度量空间是个具有距離函數的集合，該距離函數定義集合內所有元素間之距離。此一距離函數被稱為集合上的度量。 度量空间中最符合人们对于现实直观理解的為三维欧几里得空间。事实上，“度量”的概念即是欧几里得距离四个周知的性质之推广。欧几里得度量定义了两点间之距离为连接這兩點的直线段之长度。此外，亦存在其他的度量空間，如橢圓幾何與雙曲幾何，而在球體上以角度量測之距離亦為一度量。狭义相對論使用雙曲幾何的雙曲面模型，作為速度之度量空間。 度量空间还能導出开集與闭集之類的拓扑性质，这导致了对更抽象的拓扑空间之研究。.
新！!: 範疇 (數學)和度量空间 · 查看更多 »
函子
在範疇論中，函子是範疇間的一類映射。函子也可以解釋為小範疇範疇內的態射。 函子首先現身於代數拓撲學，其中拓撲空間的連續映射給出相應的代數对象（如基本群、同調群或上同調群）的代數同態。在當代數學中，函子被用來描述各種範疇間的關係。「函子」（英文：Functor）一詞借自哲學家魯道夫·卡爾納普的用語。卡爾納普使用「函子」這一詞和函數之間的相關來類比謂詞和性質之間的相關。對卡爾納普而言，不同於當代範疇論的用法，函子是個語言學的詞彙。對範疇論者來說，函子則是個特別類型的函數。.
新！!: 範疇 (數學)和函子 · 查看更多 »
函数
函數在數學中為兩集合間的一種對應關係：輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數，若以3作為此函數的輸入值，所得的輸出值便是9。 為方便起見，一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值，則其輸出值一般寫作f(x)，讀作f of x。上述的平方函數關係寫成數學式記為f(x).
新！!: 範疇 (數學)和函数 · 查看更多 »
关系 (数学)
在數學上，關係是對如等於.
新！!: 範疇 (數學)和关系 (数学) · 查看更多 »
具體範疇
在數學裡，具體範疇一般被認為是這樣的一種範疇，其物件為結構性的集合，態射為結構保持的函數，而態射複合則為函數複合。其形式定義並不和此直觀完全吻合。 集合與函數的範疇'''Set''' 當然為一具體範疇，因為每個集合都可以被認為戴有一個「當然結構」。更重要的例子還包括了拓樸空間和連續函數的範疇'''Top'''與群和同態的範疇'''Grp'''。.
新！!: 範疇 (數學)和具體範疇 · 查看更多 »
环 (代数)
环（Ring）是由集合R和定义于其上的两种二元运算（记作+和·，常被简称为加法和乘法，但与一般所说的加法和乘法不同）所构成的，符合一些性质（具体见下）的代数结构。 环的定義类似于交换群，只不过在原来「+」的基础上又增添另一种运算「·」（注意我们这里所说的 + 與 · 一般不是我们所熟知的四则运算加法和乘法）。在抽象代数中，研究环的分支为环论。.
新！!: 範疇 (數學)和环 (代数) · 查看更多 »
环同态
在环论或抽象代数中，环同态是指两个环R與S之间的映射f保持两个环的加法与乘法运算。 更加精确地，如果R和S是环，则环同态是一个函数f: R → S，使得：.
新！!: 範疇 (數學)和环同态 · 查看更多 »
积 (范畴论)
范畴论中，积（或直积）的概念提取了集合的笛卡儿积、群的积、环的积、拓扑空间的积等概念的共性。本质上讲，一组对象的积是到这些对象都有态射的对象中最具代表性的。.
新！!: 範疇 (數學)和积 (范畴论) · 查看更多 »
笛卡儿闭范畴
在范畴论中，如果任何积的态射都可通过其某个因子的态射来自然确定，那么称该范畴具有笛卡儿闭性。此类范畴在数理逻辑和程序设计理论中尤为重要。.
新！!: 範疇 (數學)和笛卡儿闭范畴 · 查看更多 »
类 (数学)
在集合論及其數學應用中，類是由集合（或其他數學物件）的搜集（collection），可以依所有成員所共享的性質被無歧定義。有些類是集合（例如由所有偶數構成的類），但有些則不是（如所有序數所構成的類或所有集合所構成的類）。一個不是集合的類被稱之為真類。一个是集合的类被称为“小类”。 在數學裡，有許多物件對集合而言太大，而必須以類來描述，像是大的範疇和超實數的類體之類等。要證明一給定「事物」為一真類，一般的做法是證明此一「事物」至少有著如序數一般多的元素。有關此一證明的例子，請參見。 真類不能是一個集合或者是一個類的元素，而且不受ZF集合論中的公理所限制；因此避免掉了許多樸素集合論中的悖論。反而，這些悖論成了證明某一個類是否為真類的方法之一。例如，羅素悖論可以證明由所有不包含集合自身的集合所構成的類是一個真類，而布拉利-福尔蒂悖论則可證明所有序數所構成的類是一個真類。 標準的ZF集合論公理不會論及到類；而在元語言中，類只作為邏輯公式的等價類而存在。馮諾伊曼-博內斯-哥德爾集合論則採取了另一種方式；類在此一理論中是基礎的物件，而集合則被定義為可以是其他某些類的元素的類。真類，則為不可以是其他任何類的元素的類。 在其他集合論如新基础集合论或半集合的理論中，「真類」的概念依然是有意義的（不是任一堆事物都會是集合），但對集合特質的認定並非依據其大小。例如，所有包含全集的集合論都會有個是集合的子類的真類。 「類」這一詞有時會和「集合」同義，最為人知的是「等價類」這一術語。這種用法是因為從前對類和集合不如現今一樣地區別的緣故。許多19世紀之前對「類」的討論提及的實際上是集合，又或者會是個更為模糊的概念。.
新！!: 範疇 (數學)和类 (数学) · 查看更多 »
线性映射
在数学中，线性映射（有的书上将“线性变换”作为其同义词，有的则不然）是在两个向量空间（包括由函数构成的抽象的向量空间）之间的一种保持向量加法和标量乘法的特殊映射。线性映射从抽象代数角度看是向量空间的同态，从范畴论角度看是在给定的域上的向量空间所构成的范畴中的态射。 “线性算子”也是与“线性映射”有关的概念。但是不同数学书籍上对“线性算子”的定义存在区别。在泛函分析中，“线性算子”一般被当做“线性映射”的同义词。而有的书则将“线性算子”定义为“线性映射”的自同态子类（详见下文）。为叙述方便，本条目在提及“线性算子”时，采用后一种定义，即将线性算子与线性映射区别开来。.
新！!: 範疇 (數學)和线性映射 · 查看更多 »
群
在數學中，群是由一個集合以及一個二元運算所組成的，符合下述四个性质（称为“群公理”）的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理，例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來，就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體，而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的，这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征：它是保持物體不變的變換的集合。這種對稱群，特別是連續李群，在很多學術學科中扮演重要角色。例如，矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究，由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后，群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科，它以自己的方式研究群。為了探索群，數學家發明了各種概念來把群分解成更小的、更好理解的部分，比如子群、商群和單群。除了它們的抽象性質，群理論家還從理論和計算兩種角度來研究具體表示群的各種方式（群的表示）。對有限群已經發展出了特別豐富的理論，這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来，将有限生成群作为几何对象来研究的几何群论，成为了群论中一个特别活跃的分支。.
群同態
在數學中，給定兩個群（G, *）和（H,·），從 (G, *)到 (H,·)的群同態是函數h: G → H使得對於所有G中的u和v下述等式成立 在這裡，等號左側的群運算*，是G中的運算；而右側的運算·是H中的運算。 從這個性質，可推導出h將G的單位元eG映射到H的單位元eH，并且它還在h(u-1).
新！!: 範疇 (數學)和群同態 · 查看更多 »
預可加範疇
在範疇論中，一個預可加範疇是使得任兩個對象間的態射集\mathrm(A,B)帶有交換群結構，並使得態射合成為雙線性運算之範疇。 形式地說，預可加範疇是在交換群的么半範疇上濃化的範疇。預加法範疇有時亦稱Ab-範疇，其中的Ab是交換群範疇的縮寫。舊文獻有時也將預加法範疇稱為加法範疇；在此則採當代觀點，區別預加法範疇與可加範疇。 一般而言，固定一個交換環k，我們可以定義k-預可加範疇為在k-模的么半範疇上濃化的範疇，即：使任兩個對象間的態射集\mathrm(A,B)為k-模，並使態射合成為k上的雙線性運算之範疇。取k.
新！!: 範疇 (數學)和預可加範疇 · 查看更多 »
顶点
顶点是数学和计算机科学等领域的术语，在不同的环境中有不同的意义。 在平面几何学中，顶点是指多边形两条边相交的地方，或指角的两条边的公共端点。 在立体几何学中，顶点是指在多面体中三个了了或更多的面连接的地方。 在图论中，顶点（vertex，node）可以理解为一个事物（object），而一张图则是由顶点的集合和顶点之间的连接构成的。 在计算机绘图中，顶点是空间中的一个点，一般由它的坐标表示。两个点可以确定一条直线，三个点可以确定一个平面。 在粒子物理学中，頂點是指粒子發生相互作用的點，例如LHC中兩粒子對撞產生反應的那個點就是頂點。.
新！!: 範疇 (數學)和顶点 · 查看更多 »
预序关系
序关系（简称预序，又称先序，preorder）、在数学中，是一类接近于偏序关系的二元关系，但仅满足自反性和传递性而不满足反对称性。偏序的大多数理论均可扩展到预序。.
新！!: 範疇 (數學)和预序关系 · 查看更多 »
预序范畴
在数学领域，预序范畴（记为Ord）指以全体预序集为对象、其上的全体单调函数为态射的范畴。由于任意单调函数的复合还是单调函数，故其满足构成范畴的前提条件。 Ord的单态射为单射单调函数。 Ord的始对象是空集（空集为预序集），终对象为任意单元素预序集。Ord无零对象。 Ord上的积为笛卡儿积和其上的积序所构成的预序集。 存在从Ord到Set上的遗忘函子。把预序集映射为该集合，把单调函数映射为函数。该遗忘函子为一忠实函子，故Ord为具体范畴。 U.
新！!: 範疇 (數學)和预序范畴 · 查看更多 »
范畴论
疇論是數學的一門學科，以抽象的方法來處理數學概念，將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇，並且使用範疇論，令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。 範疇最容易理解的一個例子為集合範疇，其物件為集合，態射為集合間的函數。但需注意，範疇的物件不一定要是集合，態射也不一定要是函數；一個數學概念若可以找到一種方法，以符合物件及態射的定義，則可形成一個有效的範疇，且所有在範疇論中導出的結論都可應用在這個數學概念之上。 範疇最簡單的例子之一為广群，其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現，在理論電腦科學的某些領域中用于對應資料型別，而在數學物理中被用來描述向量空間。 範疇論不只是對研究範疇論的人有意義，對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」，即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。.
新！!: 範疇 (數學)和范畴论 · 查看更多 »
阿貝爾範疇
在數學中，阿貝爾範疇（或稱交換範疇）是一個能對態射與對象取和，而且核與上核存在且滿足一定性質的範疇；最基本的例子是阿貝爾群構成的範疇Ab。阿貝爾範疇是同調代數的基本框架。.
新！!: 範疇 (數學)和阿貝爾範疇 · 查看更多 »
阿贝尔群
阿貝爾群（Abelian group）也稱爲交換群（commutative group）或可交換群，它是滿足其元素的運算不依賴於它們的次序（交換律公理）的群。阿貝爾群推廣了整數集合的加法運算。阿貝爾群以挪威數學家尼尔斯·阿貝爾命名。 阿貝爾群的概念是抽象代數的基本概念之一。其基本研究對象是模和向量空間。阿貝爾群的理論比其他非阿貝爾群簡單。有限阿貝爾群已經被徹底地研究了。無限阿貝爾群理論則是目前正在研究的領域。.
新！!: 範疇 (數學)和阿贝尔群 · 查看更多 »
自同构
數學上，自同構是從一個到自身的同構，可以看為這對象的一個對稱，將這對象映射到自身而保持其全部結構的一個途徑。一個對象的所有自同構的集合是一個群，稱為自同構群，大致而言，是這對象的對稱群。.
新！!: 範疇 (數學)和自同构 · 查看更多 »
集合
集合可以指：.
新！!: 範疇 (數學)和集合 · 查看更多 »
集合范畴
在範疇論這個數學領域中，集合範疇（標記為 Set）是一個對象為集合的範疇。集合 A 及 B 之間的態射族包含所有從 A 映射至 B 的函數。 集合範疇是許多其他範疇（如其態射為群同態的群範疇）的基礎，這些範疇均是在集合範疇的對象上附加其他結構，並限制其態射為特定函數而成。.
新！!: 範疇 (數學)和集合范畴 · 查看更多 »
連續函數 (拓撲學)
在拓撲學和數學的相關領域裡，連續函數是指在拓撲空間之間的一種態射。直觀上來說，其為一個函數f，其中每一群在f(x)附近的點都會含有在x附近的一群點之值。對一個一般的拓撲空間來說，這是指f(x)的鄰域總會包含著x之鄰域的值。 在一個度量空間(如實數)裡，這是指在f(x)一定距離內的點總會包含著在x某些距離內的所有點。.
新！!: 範疇 (數學)和連續函數 (拓撲學) · 查看更多 »
极限 (范畴论)
在數學裡的範疇論中，極限的概念融貫了多種構造，包括和、積等等；範疇論中許多泛性質也可從極限來理解。 極限分為極限與餘極限（又稱上極限），彼此的定義相對偶。在不同場合的別名及英譯如下表： 本條目用語取歸納極限與射影極限。.
新！!: 範疇 (數學)和极限 (范畴论) · 查看更多 »
有向图
#重定向 图 (数学)#术语.
新！!: 範疇 (數學)和有向图 · 查看更多 »
流形
流形（Manifolds），是局部具有欧几里得空间性质的空间，是欧几里得空间中的曲线、曲面等概念的推广。欧几里得空间就是最简单的流形的实例。地球表面这样的球面则是一个稍微复杂的例子。一般的流形可以通过把许多平直的片折弯并粘连而成。 流形在数学中用于描述几何形体，它们为研究形体的可微性提供了一个自然的平台。物理上，经典力学的相空间和构造广义相对论的时空模型的四维伪黎曼流形都是流形的实例。位形空间中也可以定义流形。环面就是双摆的位形空间。 一般可以把几何形体的拓扑结构看作是完全“柔软”的，因为所有变形（同胚）会保持拓扑结构不变；而把解析几何结构看作是“硬”的，因为整体的结构都是固定的。例如一个多项式，如果你知道 (0,1) 区间的取值，则整个实数范围的值都是固定的，所以局部的变动会导致全局的变化。光滑流形可以看作是介于两者之间的模型：其无穷小的结构是“硬”的，而整体结构则是“柔软”的。这也许是中文译名“流形”的原因（整体的形态可以流动）。该译名由著名数学家和数学教育学家江泽涵引入。这样，流形的硬度使它能够容纳微分结构，而它的软度使得它可以作为很多需要独立的局部扰动的数学和物理的模型。.
新！!: 範疇 (數學)和流形 · 查看更多 »
斯科特连续性
在数学中，在偏序集合P和Q之间的单调函数 是Scott-连续的，如果它保存所有有向上确界，就是说，对于所有有向集合D，有着上确界sup(D)在 P中，则集合 有上确界f(sup(D))在Q中。 这实际上等价于在各自的偏序集合上关于斯科特拓扑是连续的。 Category:域理论.
新！!: 範疇 (數學)和斯科特连续性 · 查看更多 »
拓撲斯
數學中，拓撲斯（topos）是一種範疇，性狀類似拓撲空間上的集合層範疇。.
新！!: 範疇 (數學)和拓撲斯 · 查看更多 »
拓扑空间
拓扑空间是一种数学结构，可以在上頭形式化地定義出如收敛、连通、连续等概念。拓扑空间在现代数学的各个分支都有应用，是一个居于中心地位的、统一性的概念。拓扑空间有独立研究的价值，研究拓扑空间的数学分支称为拓扑学。.
新！!: 範疇 (數學)和拓扑空间 · 查看更多 »
态射
数学上，态射（morphism）是两个数学结构之间保持结构的一种过程抽象。 最常见的这种过程的例子是在某种意义上保持结构的函数或映射。例如，在集合论中，态射就是函数；在群论中，它们是群同态；而在拓扑学中，它们是连续函数；在泛代数（universal algebra）的范围，态射通常就是同态。 对态射和它们定义于其间的结构（或对象）的抽象研究构成了范畴论的一部分。在范畴论中，态射不必是函数，而通常被视为两个对象（不必是集合）间的箭头。不像映射一个集合的元素到另外一个集合，它们只是表示域（domain）和陪域（codomain）间的某种关系。 尽管态射的本质是抽象的，多数人关于它们的直观（事实上包括大部分术语）来自于具体范畴的例子，在那里对象就是有附加结构的集合而态射就是保持这种结构的函数。.
新！!: 範疇 (數學)和态射 · 查看更多 »
