Matematik
Kategori Teorisi
Category Theory alanının bir parçası, seviye 8. Aşağıdaki konular boyunca yaklaşık 48 saatlik çalışma.
Basic Notions
- Kategoriler ve Funktörlerobjects, morphisms, examples, faithful/full functors9.5–16.5 sa
- Doğal Dönüşümlernaturality, equivalence of categories, Yoneda lemma9.5–16.5 sa
Universal Constructions
- Evrensel Özellikler ve Temsil Edilebilirlerinitial/terminal objects, products, coproducts, limits, colimits9.5–16.5 sa
- Bitişik Funktörlerunit/counit, adjunction theorems, applications9.5–16.5 sa
- Monadlar ve Cebirlermonads, Kleisli category, applications to programming9.5–16.5 sa