数学概念 範畴


数学概念 範畴

文章插图
範畴(数学概念)【数学概念 範畴】在数学中,範畴(category),是一种包含了对象及对象之间箭头的代数结构 。範畴具有两个基本性质:一是对象之间的箭头可以複合,且複合是满足结合律的;二是每个对象到自己有一个单位箭头 。一个简单的範畴例子是由集合构成对象,集合间的映射看做箭头 。一般来说,对象和箭头可以是抽象的任何类型,範畴的概念提供了一个基本而抽象的方式去研究数学中的对象及其关係的方法 。
基本介绍中文名:範畴
外文名:category
要素组成:对象,态射
例子:集合的範畴、群的範畴
定义一个範畴
数学概念 範畴

文章插图
,是由以下要素组成:(1) 一些对象(通常用大写字母
数学概念 範畴

文章插图
等表示)构成的一个类
数学概念 範畴

文章插图
;(2)由所有的集合
数学概念 範畴

文章插图
构成的族,这里
数学概念 範畴

文章插图
取遍
数学概念 範畴

文章插图
中的所有对象 。
数学概念 範畴

文章插图
中的元素
数学概念 範畴

文章插图
称为从
数学概念 範畴

文章插图

数学概念 範畴

文章插图
的态射(morphism),记为
数学概念 範畴

文章插图
;(3)对于
数学概念 範畴

文章插图
中任意三个对象
数学概念 範畴

文章插图
,存在二元运算元
数学概念 範畴

文章插图
,成为态射的複合,记
数学概念 範畴

文章插图

数学概念 範畴

文章插图
的複合为
数学概念 範畴

文章插图

数学概念 範畴

文章插图
,使得下面的公理成立:(i)(结合律)如果有
数学概念 範畴

文章插图

数学概念 範畴

文章插图

数学概念 範畴

文章插图
,则
数学概念 範畴

文章插图
;(ii)(单位元)对每个对象
数学概念 範畴

文章插图
,有单位态射
数学概念 範畴

文章插图
,使得对任意的
数学概念 範畴

文章插图
,有
数学概念 範畴

文章插图
,且对任意的