Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
1 beğenilme 0 beğenilmeme
99 kez görüntülendi

Nesneleri bütün kategoriler, okları (morfizmaları) funktörlar olan kategori, kendisi de bir kategori olduğuna göre kendini nesne olarak barındırır mı? Kategorinin kendini içermesinin caiz olup olmadığıyla ilgili bir şeye rastlamadım ama bu kendini içerme olayının bir takım sıkıntılar yaratabildiğini biliyorum, burada acaba bir sıkıntı doğuyor mu, doğuyorsa bu sıkıntının nereden çıktığını sezdirmeye yönelik bir ipucu verebilirseniz güzel olur. 

Lisans Matematik kategorisinde (106 puan) tarafından  | 99 kez görüntülendi

2-kategori, n-kategori diye kavramlar var. Yanlış anımsamıyorsam MacLane'in kitabında söz ediliyordu 2-kategorilerden. Oraya bir bakarsan fena olmaz.

18,115 soru
20,680 cevap
66,524 yorum
18,788 kullanıcı