We prove Cantor's Theorem that there is no surjective map from a set to its power set by "mapifying" Cantor's diagonal argument allowing us to prove Cantor's Theorem in any category with exponentials and finite products.
No download links available.
