Although there are already too many answers, let me just add the observation that one of the real motivations for The General Theory of Natural equivlances, was to understand the distinction between the fact that a finite dimensional vector space is isomorphic to its dual space, but naturally isomorphic to its second dual.