The Foundations of Analysis

Por • 31 mar, 2013 • Sección: Crítica

Larry Clifton

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.

arXiv:1303.6576v1 [math.HO]

Post to Twitter

Etiquetado con: , , , , ,

Escribe un comentario