文章插图
範畴(数学概念)【数学概念 範畴】在数学中,範畴(category),是一种包含了对象及对象之间箭头的代数结构 。範畴具有两个基本性质:一是对象之间的箭头可以複合,且複合是满足结合律的;二是每个对象到自己有一个单位箭头 。一个简单的範畴例子是由集合构成对象,集合间的映射看做箭头 。一般来说,对象和箭头可以是抽象的任何类型,範畴的概念提供了一个基本而抽象的方式去研究数学中的对象及其关係的方法 。
基本介绍中文名:範畴
外文名:category
要素组成:对象,态射
例子:集合的範畴、群的範畴
定义一个範畴
文章插图
,是由以下要素组成:(1) 一些对象(通常用大写字母
文章插图
等表示)构成的一个类
文章插图
;(2)由所有的集合
文章插图
构成的族,这里
文章插图
取遍
文章插图
中的所有对象 。
文章插图
中的元素
文章插图
称为从
文章插图
到
文章插图
的态射(morphism),记为
文章插图
;(3)对于
文章插图
中任意三个对象
文章插图
,存在二元运算元
文章插图
,成为态射的複合,记
文章插图
和
文章插图
的複合为
文章插图
或
文章插图
,使得下面的公理成立:(i)(结合律)如果有
文章插图
,
文章插图
和
文章插图
,则
文章插图
;(ii)(单位元)对每个对象
文章插图
,有单位态射
文章插图
,使得对任意的
文章插图
,有
文章插图
,且对任意的
- 中国数学史大系-第三卷东汉三国
- 数学相关专业
- 数学系统理论
- 无敌应知应会·中考数学
- 高效课堂教学与数学能力的培养
- 方洲新概念·谁是你最好的榜样:影响孩子一生的成长启示录
- 华东师大版上 中学教材全解:9年级数学
- 概念 公共艺术设计
- 1 美国中学生数学竞赛题解
- 中学数学新课程教学理念与实践