集合论是所有数学的基础。集合和函数的概念将作为一个基础来构建范畴论，它们被大家所了解，所以作为一些范畴论概念的直觉感受或者最简单的例子。本章给出若干集合和函数的例子，接着讨论交换图表。接着介绍本体日志(ologs)，它可以让我们用范畴论的的语言来讲述真实世界里的概念。所有这些都只用到了最基础的集合论，也可以看作是集合范畴的一个实例(集合范畴记作Set)
2.1 集合与函数
人们觉得把东西放在箱子里有用。
{简书不支持latex 不支持流程图，开始灵魂手画}
［一个东西］——被放到-——> ［一个箱子］
集合论研究的就是箱子里东西的
2.1.1 集合
我们可以把集合X看作一些元素x (latex 属于符号) X, 对于X里两个有名字的元素x,x' , 我们可以判断它们是否 x=x' 。 例如一个钟摆的集合，是一堆我们愿意称之为钟摆东西的集合，它们中每个都被认为是钟摆，两个被人们任意指到的钟摆，我们可以断定它俩是不是一个。
未完
网友评论