1.2 The category of sets

這章提到了
所有集合形成了一個範疇
其中的每個物件是一個集合
箭頭則是它們之間的函數
顯然結合律成立
identity則是把參數原封不動吐出來的函數
底下說了一些細節
請自行閱讀
再接下來丟了一個問題:
這邊說的集合是哪種集合?
畢竟集合論也有很多種
但尚未給出這問題的答案