Dual Vector Space

Let V 𝑉 V be a Vector Space over a Field K 𝐾 K (or alternatively, a Module over a Ring). The dual of V 𝑉 V is the space of linear functionals [ V , K ] 𝑉 𝐾 [V,K] . This is a general example of a Dual in a Closed Category.