Unified Approach to Real Numbers in Various Mathematical Settings
arXiv:1402.6645
Abstract
We provide a setting-independent definition of reals by introducing the notion of a streak. We show that various standard constructions of reals satisfy our definition. We study the structure of reals by noting that its pieces correspond to reflections on the category of streaks.