The Foundations of Analysis

The Foundations of Analysis: This is a detailed 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, and then define the positive real numbers categorically.