Duals, naturality, bilinear forms

A (linear) functional λ : V −→ k on a vector space V over k is a linear map from V to the field k itself, viewed as a one-dimensional vector space over k. The collection V ∗ of all such linear functionals is the dual space of V .