Categories of sets with infinite addition

Abstract

We consider sets with infinite addition, called $\hat{I}\pounds$-monoids, and contribute to their literature in three ways. First, our definition subsumes those from previous works and allows us to relate them in terms of adjuctions between their categories. In particular, we discuss $\hat{I}\pounds$-monoids with additive inverses. Second, we show that every Hausdorff commutative monoid is a $\hat{I}\pounds$-monoid, and that there is a free Hausdorff commutative monoid for each $\hat{I}\pounds$-monoid. Third, we prove that $\hat{I}\pounds$-monoids have well-defined tensor products, unlike topological abelian groups.