7 citations · 12 across the 11 of their papers we have counts for
6 papers · 1 filter
Kantorovich Functors and Characteristic Logics for Behavioural Distances
Sergey Goncharov, Dirk Hofmann, Pedro Nora +2
Behavioural distances measure the deviation between states in quantitative systems, such as probabilistic or weighted systems. There is growing interest in generic approaches to be…
A Point-free Perspective on Lax extensions and Predicate liftings
Sergey Goncharov, Dirk Hofmann, Pedro Nora +2
Lax extensions of set functors play a key role in various areas including topology, concurrent systems, and modal logic, while predicate liftings provide a generic semantics of mod…
Duality theory for enriched Priestley spaces
Dirk Hofmann, Pedro Nora
The term Stone-type duality often refers to a dual equivalence between a category of lattices or other partially ordered structures on one side and a category of topological struct…
Hausdorff coalgebras
Dirk Hofmann, Pedro Nora
As composites of constant, (co)product, identity, and powerset functors, Kripke polynomial functors form a relevant class of -functors in the theory of coalgebras. Th…
Enriched Stone-type dualities
Dirk Hofmann, Pedro Nora
A common feature of many duality results is that the involved equivalence functors are liftings of hom-functors into the two-element space resp. lattice. Due to this fact, we can o…
Some notes on Esakia spaces
Dirk Hofmann, Pedro Nora
Under Stone/Priestley duality for distributive lattices, Esakia spaces correspond to Heyting algebras which leads to the well-known dual equivalence between the category of Esakia…