## A $\ast$-autonomous category of topological abelian groups extending Pontrjagin duality

Let $\mathcal{G}$ denote the category of topological abelian groups that can be embedded topologically and algebraically into a possibly infinite product of locally compact abelian groups, with continuous homomorphisms as morphisms.

There is a full subcategory $\mathcal{S} \subset \mathcal{G}$ s.t.

- $\mathcal{S}$ is complete and cocomplete;
- $\mathcal{S}$ is $\ast$-autonomous.

The $\ast$-autonomous category structure is given by:

- The global dualizing object $\bot:= \mathbb{T}$, the circle group.
- The dualization functor $(\cdot)^\ast := (\cdot) \multimap \bot$ where $A\multimap B := \operatorname{Hom}(A,B)$ is the internal hom, equipped with a topology that makes it into an object of $\mathcal{S}$.
- The monoidal structure $\otimes$ which is the tensor product $|A|\otimes |B|$ where $|G|$ is the underlying discrete group of $G$.

See M. Barr, On duality of topological abelian groups or Barr, Kleisi. On Mackey Topologies In Topological Abelian Groups