Darboux Calculus
arXiv:1605.01811 · doi:10.2140/involve.2019.12.361
Abstract
We introduce a formalism to analyze partially defined functions between ordered sets. We show that our construction provides a uniform and conceptual approach to all the main definitions encountered in elementary real analysis including Dedekind cuts, limits and continuity.
18 pages, exposition improved