<div dir="ltr"><div class="gmail_default" style="font-size:small;color:rgb(51,51,51)"><font face="verdana, sans-serif">"""</font></div><div class="gmail_default" style="font-size:small;color:rgb(51,51,51)"><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><font face="verdana, sans-serif">An example of what Marcus is saying is that using the category definition
of duality you can show that the dual space of the dual space is (is
isomorphic to) the original space.  That's easy to show without the added
generality.</font></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><font face="verdana, sans-serif">"""</font></pre><pre style="font-family:verdana,sans-serif;white-space:pre-wrap;color:rgb(0,0,0)">Except for when that isn't true. Consider non-finite dimensional vector spaces.</pre></div></div>