3 results
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 Elgot to base denotational semantics on iterative theories instead, i.e., theories in which abstract recursive […]
Published on November 8, 2006
Marta Bilkova ; Alexander Kurz ; Daniela Petrisan ; Jiri Velebil.
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 to admit a functorial relation lifting: one is the existence of a distributive law of T over the "powerset monad" on […]
Published on October 25, 2013
Adriana Balan ; Alexander Kurz ; Jiří Velebil.
For a commutative quantale $\mathcal{V}$, the category $\mathcal{V}-cat$ can be perceived as a category of generalised metric spaces and non-expanding maps. We show that any type constructor $T$ (formalised as an endofunctor on sets) can be extended in a canonical way to a type constructor […]
Published on January 29, 2019