I have touched the wording in the section “Double dual” (here), for streamlining.
]]>New related entry (only a small part of intended material covered so far) dual gebra.
]]>I added
]]>extends to a contravariant functor: given a linear map , the dual or transpose map is given by , .
had occasion to create dual vector space.
]]>