45 citations · 96 across the 11 of their papers we have counts for
7 papers · 1 filter
Kan injectivity in order-enriched categories
Jiri Adamek, Lurdes Sousa, Jiri Velebil
Continuous lattices were characterised by Martin Escardo as precisely the objects that are Kan-injective w.r.t. a certain class of morphisms. We study Kan-injectivity in general ca…
Relation lifting, with an application to the many-valued cover modality
Marta Bilkova, Alexander Kurz, Daniela Petrisan +1
We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T…
Relation Liftings on Preorders and Posets
Marta Bilkova, Alexander Kurz, Daniela Petrisan +1
The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on…
Semantics of Higher-Order Recursion Schemes
Jiri Adamek, Stefan Milius, Jiri Velebil
Higher-order recursion schemes are recursive equations defining new operations from given ones called "terminals". Every such recursion scheme is proved to have a least interpreted…
Algebraic Theories over Nominal Sets
Alexander Kurz, Daniela Petrişan, Jiří Velebil
We investigate the foundations of a theory of algebraic data types with variable binding inside classical universal algebra. In the first part, a category-theoretic study of monads…
Elgot Algebras
Jiri Adamek, Stefan Milius, Jiri Velebil
Denotational semantics can be based on algebras with additional structure (order, metric, etc.) which makes it possible to interpret recursive specifications. It was the idea of El…