NonAnomalous Semigroups and Real Numbers
Abstract
Motivated by intuitive properties of physical quantities, the notion of a nonanomalous 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 nonanomalous semigroups.
 Publication:

arXiv eprints
 Pub Date:
 July 2016
 arXiv:
 arXiv:1607.05997
 Bibcode:
 2016arXiv160705997B
 Keywords:

 Mathematics  History and Overview;
 Mathematics  Category Theory;
 Mathematics  Rings and Algebras
 EPrint:
 21 pages