I like the isomorphism between a finite abelian group and its "Cartier" dual (not the bidual!) precisely because it's non-canonical. But I don't think it makes a good example for explaining isomorphism to non-mathematicians.
Felipe Voloch
- 30.5k
- 6
- 85
- 151