集合論是所有數(shù)學(xué)的基礎(chǔ)。集合和函數(shù)的概念將作為一個(gè)基礎(chǔ)來構(gòu)建范疇論蚁廓,它們被大家所了解睡汹,所以作為一些范疇論概念的直覺感受或者最簡單的例子。本章給出若干集合和函數(shù)的例子蹄溉,接著討論交換圖表咨油。接著介紹本體日志(ologs),它可以讓我們用范疇論的的語言來講述真實(shí)世界里的概念柒爵。所有這些都只用到了最基礎(chǔ)的集合論役电,也可以看作是集合范疇的一個(gè)實(shí)例(集合范疇記作Set)
2.1 集合與函數(shù)
人們覺得把東西放在箱子里有用。
? {簡書不支持latex 不支持流程圖棉胀,開始靈魂手畫}
[一個(gè)東西]——被放到-——> [一個(gè)箱子]
集合論研究的就是箱子里東西的
2.1.1 集合
我們可以把集合X看作一些元素x (latex 屬于符號(hào)) X, 對(duì)于X里兩個(gè)有名字的元素x,x' , 我們可以判斷它們是否 x=x' 法瑟。 例如一個(gè)鐘擺的集合,是一堆我們?cè)敢夥Q之為鐘擺東西的集合唁奢,它們中每個(gè)都被認(rèn)為是鐘擺霎挟,兩個(gè)被人們?nèi)我庵傅降溺姅[,我們可以斷定它倆是不是一個(gè)麻掸。
未完