59 citations · 185 across the 53 of their papers we have counts for
Showing 2021 · math.CTShow all
2 papers · 2 filters
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…
math.CT2021
Monads on Categories of Relational Structures
Chase Ford, Stefan Milius, Lutz Schröder
We introduce a framework for universal algebra in categories of relational structures given by finitary relational signatures and finitary or infinitary Horn theories, with the ari…