這個學(xué)期在平時成績的壓力下終于開始做atiya的題目了。

接觸了很多泛性質(zhì)的問題，感覺真的太神奇了。忽略了所有構(gòu)造性的陳述，許多well-defined的問題也變得不是essential的了。比如一個正向系統(tǒng)的正向極限，對于一串模M來說，直接構(gòu)造出來的正向極限挺可怕的－直和中將所有元素以及它能到達(dá)和能到達(dá)它的元素等同起來(很像軌道的概念)，用泛性質(zhì)只需要寫出來一個交換圖表就可以了。

許多陳述就可以用正向極限的語言去概括了－比如Hom和極限的可換，可以導(dǎo)出Hom與直和的關(guān)系，一切都是那么自然而然，而不需要任何牽扯到直和的具體定義。

范疇的語言雖然有點(diǎn)abstract non-sense，但是統(tǒng)一的格式，通用的結(jié)論還是都非常漂亮的。