Add to ORKGIn this work, we describe an adjunction between the comma category of Set-based monads under the V -powerset monad and the category of associative lax extensions of Set-based monads to the category of V -relations. In the process, we give a general construction of the Kleisli extension of a monad to the category of V-relations
AbstractFor a monad S on a category K whose Kleisli category is a quantaloid, we introduce the notio...
AbstractWe give a 3-categorical, purely formal argument explaining why on the category of Kleisli al...
We discuss the use of relation lifting in the theory of set-based coalgebra and coalgebraic logic. O...
In this work, we describe an adjunction between the comma category of Set-based monads under the V-p...
Abstract. In this paper we construct extensions of Set-monads { and, more generally, lax Rel-monads ...
Abstract. In this paper we construct extensions of Set-monads- and, more gen-erally, of lax Rel-mona...
AbstractThis paper contributes to the algebraization of topology via the theory of monads and lax ex...
AbstractWe combine two research directions of the past decade, namely the development of a lax-algeb...
We investigate those lax extensions of a Set-monad T = (T,m, e) to the category V-Rel of sets and V-...
Kleisli categories over monads have been used in denotational semantics to describe functional langu...
Lax logical relations are a categorical generalisation of logical relations; though they preserve pr...
AbstractMotivated by the problem of internalizing Enriched Category Theory in a topos, we investigat...
Monads are well known to be equivalent to lax functors out of the terminal category. Morita contexts...
We use the basic expected properties of the Gray tensor product of (∞, 2)-categories to study (co)la...
The purpose of this work is to highlight the notions of lax braiding and lax centre for monoidal cat...
AbstractFor a monad S on a category K whose Kleisli category is a quantaloid, we introduce the notio...
AbstractWe give a 3-categorical, purely formal argument explaining why on the category of Kleisli al...
We discuss the use of relation lifting in the theory of set-based coalgebra and coalgebraic logic. O...
In this work, we describe an adjunction between the comma category of Set-based monads under the V-p...
Abstract. In this paper we construct extensions of Set-monads { and, more generally, lax Rel-monads ...
Abstract. In this paper we construct extensions of Set-monads- and, more gen-erally, of lax Rel-mona...
AbstractThis paper contributes to the algebraization of topology via the theory of monads and lax ex...
AbstractWe combine two research directions of the past decade, namely the development of a lax-algeb...
We investigate those lax extensions of a Set-monad T = (T,m, e) to the category V-Rel of sets and V-...
Kleisli categories over monads have been used in denotational semantics to describe functional langu...
Lax logical relations are a categorical generalisation of logical relations; though they preserve pr...
AbstractMotivated by the problem of internalizing Enriched Category Theory in a topos, we investigat...
Monads are well known to be equivalent to lax functors out of the terminal category. Morita contexts...
We use the basic expected properties of the Gray tensor product of (∞, 2)-categories to study (co)la...
The purpose of this work is to highlight the notions of lax braiding and lax centre for monoidal cat...
AbstractFor a monad S on a category K whose Kleisli category is a quantaloid, we introduce the notio...
AbstractWe give a 3-categorical, purely formal argument explaining why on the category of Kleisli al...
We discuss the use of relation lifting in the theory of set-based coalgebra and coalgebraic logic. O...