4 ms·
It's an isomorphism in the category of Sets.
It's an isomorphism in the category of Sets.
(The worst sort of isomorphism)
Yes, I probably ought to have mentioned that. Though ime people are more likely to talk about isomorphisms in other categories, since the only “structure” a set has is its size