John Baez sulla teoria delle categorie (in spagnolo)

[solaàl]

C'è una categoria dove il prodotto di due oggetti non esiste?

[Indrjo Dedej]

Sì. Prendi quella con due oggetti e con solamente le identità come morfismi: il prodotto dei suoi due oggetti non esiste. In questo caso impedisci da subito l'esistenza di un prodotto.