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.