Çift kategorilerde Yoneda lemması evrensel yapılarla genelleştiriliyor
Öne çıkanlar
- Klasik Yoneda lemması, hom-kümeleri anılmadan çift kategorilerdeki 2-hücreler ve yatay oklarla yeniden tanımlanıyor.
- Yatay okları sınıflandırmak ve önyonetleri temsil etmek için Kartezyen karelerden yararlanılıyor.
- Yoneda gömmesinin tam ve sadık kalması, kurulan bitiştirmenin biriminin izomorfizm olmasına bağlanıyor.
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 değerli işlevler olarak kurgulanırken, çift kategorilerde nesnelere doğrudan erişim bulunmuyor. Bu durum, klasik hom-kümeleri yerine yatay birim okların ve profunctor yapılarının kullanılmasını gerektiriyor.
Yeni kurgu kapsamında bir önyonet nesnesi ile Yoneda gömmesi dikey bir ok olarak modelleniyor. Yatay okları dikey oklar aracılığıyla sınıflandırmak adına eşleme kavramı ve Kartezyen kare koşulları devreye giriyor. Bu yaklaşımda değerlendirme profunctoru, Yoneda işlevinin eşlikçisi biçiminde konumlanarak standart kategori teorisindeki yapıları çift kategorilerin diline aktarıyor.
Yoneda gömmesinin tam ve sadık bir yapı sergilemesi için ek koşullar gerekiyor. Çalışmada ilgili bitiştirmenin biriminin izomorfizm olması ve yoğunluk koşulunun sağlanması temel şartlar arasında sıralanıyor. Teorik temelleri sunulan bu kurgunun bir sonraki aşamada Haskell programlama dili üzerinde örnek bir uygulamayla test edileceği bildiriliyor.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.