2 papers
math.RA2014
Aspects of an internal logic for persistence
João Pita Costa, Primož Škraba, Mikael Vejdemo-Johansson
The foundational character of certain algebraic structures as Boolean algebras and Heyting algebras is rooted in their potential to model classical and constructive logic, respecti…
math.RA2014
Variable sets over an algebra of lifetimes: a contribution of lattice theory to the study of computational topology
João Pita Costa, Mikael Vejdemo Johansson, Primož Škraba
A topos theoretic generalisation of the category of sets allows for modelling spaces which vary according to time intervals. Persistent homology, or more generally, persistence is…