Darboux Calculus
Classical Analysis and ODEs
2019-02-06 v2 Category Theory
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.
Cite
@article{arxiv.1605.01811,
title = {Darboux Calculus},
author = {Marco Aldi and Alexander McCleary},
journal= {arXiv preprint arXiv:1605.01811},
year = {2019}
}
Comments
18 pages, exposition improved