The appendix to http://arxiv.org/abs/math/0508382 by Frenkel & Gaitsgory (following an earlier work of Beilinson) describes three different monoidal structures, denoted by $\otimes^!,\otimes^*,$ and $\otimes^\to,$ on the category of topological vector spaces, which are used to define various kinds of structures and actions in this category. They are defined as follows:
- If we write $V=\lim_i V^i$ and $W=\lim_i W^i$ for $V^i,W^i$ discrete, then $$V\otimes^!W:=\lim_{i,j} (V^i\otimes W^j)$$
- If $W$ is discrete and $W=\bigcup_kW_k$ with $W_k$ finite-dimensional, then $$V\otimes^\to W:=\text{colim}_k (V\otimes W_k).$$ If we write $W=\lim_j W^j$ for $W^j$ discrete, then $$V\otimes^\to W:=\lim_j (V\otimes^\to W^j)$$
- Finally, $V\otimes^* W$ is defined so that $\text{Hom}(V\otimes^*W,U)$, for $U$ discrete, is the set of bilinear continuous maps $V\times W\to U.$
What follows is a series of definitions that combine these operations in ways which I have never been able to keep straight in my head. For instance, topological algebras are defined with respect to the $\otimes^\to$ structure, their modules are defined with respect to the $\otimes^!$ structure, and topological Lie algebras are defined with respect to the $\otimes^*$ structure. Then various combinations of these are defined with respect to some combination of the monoidal structures.
I'm sure that there's some much better ways to think about these tensor products that makes clearer what each of them is good for and why certain kinds of structure ought to be defined with respect to certain of them. This is my question. In other words,
What is the right way to understand these three monoidal structures? How can I keep straight what each of them is good for?