Monad İLE Comonad İLE Adjunction ile İleri Kategori Kavramları
Matematik
Normal
Özet
Kategori kuramınin soyut yapıları.
Ayrıntılı Açıklama
İleri yapılar:
- Monad: T: C → C endofunktor
- Comonad: Dual monad
- Adjunction: F ⊣ G funktor çifti
Haskell programlama monad kullanır.
- Monad: T: C → C endofunktor
- Comonad: Dual monad
- Adjunction: F ⊣ G funktor çifti
Haskell programlama monad kullanır.
Formül
μ: T² → T İLE η: Id → T