Natural İLE Yoneda İLE Kan ile Kategori Kuramları
Matematik
Normal
Özet
Temel kategori kuramı sonuçları.
Ayrıntılı Açıklama
Önemli teoremler:
- Natural Transformation: Funktor morfizması
- Yoneda Lemma: Hom funktoru
- Kan Extension: Universal construction
Yoneda: "Nesne morfizmalarıyla belirlenir"
- Natural Transformation: Funktor morfizması
- Yoneda Lemma: Hom funktoru
- Kan Extension: Universal construction
Yoneda: "Nesne morfizmalarıyla belirlenir"
Formül
Nat(Hom(A ile-) İLE F) ≅ F(A)