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