1. In class I showed that the map is always injective. If V and W are finite-dimensional, then these two vector spaces have the same finite dimension, and are therefore isomorphic.
What happens when one (or both) of V and W is not finite-dimensional? Is this sometimes / never an isomorphism?
2. I also explained that if A is a finite-dimensional algebra, then the dual A* is a coalgebra, with its coalgebra structure from the algebra structure of A. The key is that the map above can be reversed, and everything works fine.
What happens when A is not finite-dimensional? Is A* sometimes/never a coalgebra? Is there some other natural coalgebra we can associate to A?