157 citations · 252 across the 26 of their papers we have counts for
3 papers · 1 filter
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…
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…
Blackbox computation of -algebras
Mikael Vejdemo-Johansson
Kadeishvili's proof of the minimality theorem induces an algorithm for the inductive computation of an -algebra structure on the homology of a dg-algebra. In this paper,…