開始新篇伤靠,使用碎片時間學一些東西捣域。這個本來想看的啼染,但是太難了,感覺看不下去焕梅。所以希望一天看一點迹鹅。
范疇論的一些基礎內容,出自范疇代數(shù)手冊
當提及數(shù)學對象時贞言,一般有這樣的說法斜棚,對于所有的群,所有的拓撲空間有什么什么性質该窗。
這就產(chǎn)生了一個問題弟蚀,對于集合論而言,這樣的描述得到的不是一個集合酗失。
例子:一個交換群A是投影的义钉,對任意的群同態(tài),滿群同態(tài)
,g可通過f分解,也就是說规肴,對于每個由交換群A到群C的群同態(tài)捶闸,交換群A與交換群B之間有唯一的群同態(tài),使得B到C為滿同態(tài)拖刃。
不存在萬有集合删壮,也就是羅素悖論的一個翻版。假設存在這樣的萬有集序调,使用分離公理醉锅,就能構造出一個矛盾的集合兔簇。一個元素不屬于他发绢,結果就屬于他,顯然是不合二值邏輯非真即假的前提的垄琐。