Bilim
Çift kategorilerde Yoneda lemması evrensel yapılarla genelleştiriliyor
Kategori teorisinin temel taşlarından Yoneda lemması, kümeler veya önyonetsel yapılara doğrudan başvurmadan çift kategoriler düzeyinde yeniden tanımlanıyor. Standart kategorilerde önyonetler küme…
Kategori TeorisiMatematikHaskell