3 papers
cs.CG2014
Computing minimum area homologies
Erin Wolf Chambers, Mikael Vejdemo-Johansson
Calculating and categorizing the similarity of curves is a fundamental problem which has generated much recent interest. However, to date there are no implementations of these algo…
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…