集合論是所有數(shù)學(xué)的基礎(chǔ)。集合和函數(shù)的概念將作為一個基礎(chǔ)來構(gòu)建范疇論，它們被大家所了解，所以作為一些范疇論概念的直覺感受或者最簡單的例子。本章給出若干集合和函數(shù)的例子，接著討論交換圖表。接著介紹本體日志(ologs)，它可以讓我們用范疇論的的語言來講述真實世界里的概念。所有這些都只用到了最基礎(chǔ)的集合論，也可以看作是集合范疇的一個實例(集合范疇記作Set)

2.1 集合與函數(shù)

人們覺得把東西放在箱子里有用。

? {簡書不支持latex 不支持流程圖，開始靈魂手畫}

［一個東西］——被放到-——> ［一個箱子］

集合論研究的就是箱子里東西的

2.1.1 集合

我們可以把集合X看作一些元素x (latex 屬于符號) X, 對于X里兩個有名字的元素x,x' , 我們可以判斷它們是否 x=x' 。 例如一個鐘擺的集合，是一堆我們愿意稱之為鐘擺東西的集合，它們中每個都被認為是鐘擺，兩個被人們?nèi)我庵傅降溺姅[，我們可以斷定它倆是不是一個。

未完