10 citations · 16 across the 17 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2022
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…
math.CT2021★ 2 cited
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…