
arXiv: 1605.01811
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
partially ordered sets, Kan extensions, Foundations: limits and generalizations, elementary topology of the line, Mathematics - Category Theory, 97I10, 18B35, One-variable calculus, 26A06, Partial orders, general, 06A06, Mathematics - Classical Analysis and ODEs, foundations of real analysis, Classical Analysis and ODEs (math.CA), FOS: Mathematics, Category Theory (math.CT), 06A11
partially ordered sets, Kan extensions, Foundations: limits and generalizations, elementary topology of the line, Mathematics - Category Theory, 97I10, 18B35, One-variable calculus, 26A06, Partial orders, general, 06A06, Mathematics - Classical Analysis and ODEs, foundations of real analysis, Classical Analysis and ODEs (math.CA), FOS: Mathematics, Category Theory (math.CT), 06A11
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
