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.