2016/07/19 by Damon J. Binder, Binder, Damon
Computer Science · Mathematics · Physics and Astronomy · #Category Theory (math.CT) #FOS: Mathematics #History and Overview (math.HO) #Mathematical and Theoretical Analysis #Neural Networks and Applications #Rings and Algebras (math.RA) #Statistical Mechanics and Entropy
paper · pdf · doi:10.48550/arxiv.1607.05997
openalex publication_date 2016/07/19 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Motivated by intuitive properties of physical quantities, the notion of a non-anomalous semigroup is formulated. These are totally ordered semigroups where there are no `infinitesimally close' elements. The real numbers are then defined as the terminal object in a closely related category. From this definition a field structure on \mathbb R is derived, relating multiplication to morphisms between non-anomalous semigroups.