這個(gè)學(xué)期在平時(shí)成績(jī)的壓力下終于開始做atiya的題目了。
接觸了很多泛性質(zhì)的問題颊乘，感覺真的太神奇了素跺。忽略了所有構(gòu)造性的陳述齐苛，許多well-defined的問題也變得不是essential的了怎披。比如一個(gè)正向系統(tǒng)的正向極限胸嘁，對(duì)于一串模M來說瓶摆，直接構(gòu)造出來的正向極限挺可怕的－直和中將所有元素以及它能到達(dá)和能到達(dá)它的元素等同起來(很像軌道的概念)凉逛，用泛性質(zhì)只需要寫出來一個(gè)交換圖表就可以了。
許多陳述就可以用正向極限的語言去概括了－比如Hom和極限的可換群井，可以導(dǎo)出Hom與直和的關(guān)系状飞，一切都是那么自然而然，而不需要任何牽扯到直和的具體定義。
范疇的語言雖然有點(diǎn)abstract non-sense诬辈，但是統(tǒng)一的格式酵使，通用的結(jié)論還是都非常漂亮的。
