Category of Vector Spaces
Dual Space
Dual space construction is a Functor (or Contravariant functor)
it sends to
and to
defined by composition with