The application of a natural isomorphism to an object. We put this definition in a different namespace, so that we can use α.app