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.
Starting with a persistence module -a functor M : P → Vec k for some finite poset P -we seek to assign to M an invariant capturing meaningful information about the peristence module. This is often accomplished via applying a Möbius inversion to the rank function or birth-death function. In this paper we establish the relationship between the rank function and birth-death function by introducing a new invariant: the kernel function. The peristence diagram produced by the kernel function is equal to the diagram produced by the birth-death function off the diagonal and we prove a formula for converting between the persistence diagrams of the rank function and kernel function.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.