The Foundations of Analysis
Abstract
This is a detailed and self-contained introduction to the real number system from a categorical perspective. We begin with the categorical definition of the natural numbers, review the Eudoxus theory of ratios as presented in Book V of Euclid, and then use these classical results to define the positive real numbers categorically.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2013
- DOI:
- 10.48550/arXiv.1303.6576
- arXiv:
- arXiv:1303.6576
- Bibcode:
- 2013arXiv1303.6576C
- Keywords:
-
- Mathematics - History and Overview;
- 01-02 (Primary) 01A20;
- 06F05 (Secondary)
- E-Print:
- 48 pages