47 citations · 177 across the 25 of their papers we have counts for
3 papers · 1 filter
The principal bundles over an inverse semigroup
Ganna Kudryavtseva, Primož Škraba
This paper is a contribution to the development of the theory of representations of inverse semigroups in toposes. It continues the work initiated by Funk and Hofstra. For the topo…
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…