Bir kategoride aynı nesneler hem ürünler hem de kopyalar olduğunda iki ürün bulunur. İki ürünlü kategorilerin kanıt teorisini araştıran var mı?
Belki de en iyi bilinen örnek, doğrudan toplam ve doğrudan ürün yapılarının aynı vektör uzayını verdiği vektör uzayları kategorisidir. Bu, vektör uzayları ve doğrusal haritaların biraz dejenere lineer mantık modeli olduğu anlamına gelir ve bu dejenerasyonu kabul eden bir tür teorinin nasıl görüneceğini merak ediyorum.