MONAD
Bir bağlam ekleyip yapılandıran kategorik yapıdır.
ile/||/<>
COMONAD
Bunun eşlek (dual) yapısıdır.
ile/||/<>
ADJUNCTION
İki funktor arasındaki eşlenik ilişkidir. Üçü, kategori kuramının soyut yapılarıdır.
Bir bağlam ekleyip yapılandıran kategorik yapıdır.
ile/||/<>
COMONAD
Bunun eşlek (dual) yapısıdır.
ile/||/<>
ADJUNCTION
İki funktor arasındaki eşlenik ilişkidir. Üçü, kategori kuramının soyut yapılarıdır.
FaRkLaR Kılavuzu
01 Ekim 2025 | 13:24
( Formül: μ: T² → T İLE η: Id → T )
FaRkLaR Kılavuzu
01 Ekim 2025 | 13:24
(1996'dan beri)
Henüz yorum eklenmemiş. İlk yorumu siz ekleyebilirsiniz...