1 | Kategoriler, Monomorfizm, Epimorfizm, İntial (başlangıç) ve Terminal (bitiş) nesneler, Funktor, Doğal dönüşümler, Funktor Kategorisi, Kategoride limit, Equalizer, Co-equalizer öğrenir. |
2 | Limit, Co-limit, Pullback, Pushout, Ters ve direk limitler, Functor kategorisinde limit, Evrensel dönüşümler, Adjoint functor öğrenir. |