A category of isomorphisms, and some standard isomorphisms - View it on GitHub