Cantor's theorem has been generalized to any category with products.
Το θεώρημα του Καντόρ έχει γενικευθεί σε κάθε κατηγορία με προϊόντα.