Finite dimensional vector spaces are often defined as tuples of reals and then the space and its dual already seem to be identical and an isomorphism trivial and perhaps even natural. We stick to the axiomatic definition here however as it is more easily applied where needed however and we follow Eilenberg and MacLane a short distance on their famous journey.

As we have set the stag