NATURAL
İki funktor arasındaki doğal dönüşümdür.
ile/||/<>
YONEDA
Nesneyi eşlemeleriyle belirleyen temel lemmadır.
ile/||/<>
KAN
Funktorları en iyi biçimde genişleten yapıdır. Üçü, kategori kuramının temel sonuçlarıdır.
İki funktor arasındaki doğal dönüşümdür.
ile/||/<>
YONEDA
Nesneyi eşlemeleriyle belirleyen temel lemmadır.
ile/||/<>
KAN
Funktorları en iyi biçimde genişleten yapıdır. Üçü, kategori kuramının temel sonuçlarıdır.
FaRkLaR Kılavuzu
01 Ekim 2025 | 13:24
( Formül: Nat(Hom(A ile-) İLE F) ≅ F(A) )
FaRkLaR Kılavuzu
01 Ekim 2025 | 13:24

Henüz yorum eklenmemiş. İlk yorumu siz ekleyebilirsiniz...