Kategoriler kategorisi obje olarak kendisini içerir mi?

1 beğenilme 0 beğenilmeme
39 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. 

22, Aralık, 2016 Lisans Matematik kategorisinde Barış (106 puan) tarafından  soruldu

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.

...