Categories of sets with infinite addition
Abstract
We consider sets with infinite addition, called $\Sigma$-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 $\Sigma$-monoids with additive inverses. Second, we show that every Hausdorff commutative monoid is a $\Sigma$-monoid, and that there is a free Hausdorff commutative monoid for each $\Sigma$-monoid. Third, we prove that $\Sigma$-monoids have well-defined tensor products, unlike topological abelian groups.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2023
- DOI:
- 10.48550/arXiv.2308.15183
- arXiv:
- arXiv:2308.15183
- Bibcode:
- 2023arXiv230815183A
- Keywords:
-
- Mathematics - Category Theory;
- Mathematics - Rings and Algebras