Pages that link to "Item:Q5890054"
From MaRDI portal
The following pages link to Lifting theorems for Kleisli categories (Q5890054):
Displaying 28 items.
- Monads for behaviour (Q265824) (← links)
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- Monads and comonads on module categories (Q734798) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Galois functors and entwining structures (Q986526) (← links)
- Liftings of functors (Q1066991) (← links)
- Liftings in categorical homotopy (Q1339388) (← links)
- An equational notion of lifting monad (Q1398461) (← links)
- Restriction categories II: Partial map classification (Q1398462) (← links)
- Combining a monad and a comonad (Q1603819) (← links)
- Lifting results for categories of algebras (Q1605183) (← links)
- Extensional quotient coalgebras (Q1750071) (← links)
- Categorical Büchi and parity conditions via alternating fixed points of functors (Q1798796) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- Categories of timed stochastic relations (Q2805158) (← links)
- Lifting properties of<i>V</i>-functors<sup>1</sup> (Q3469266) (← links)
- (Q4585069) (← links)
- (Q4637688) (← links)
- The Saito-Kurokawa lifting and functoriality (Q4653733) (← links)
- Interleaving data and effects (Q5371955) (← links)
- (Q5701937) (← links)
- Tree automata as algebras: minimisation and determinisation (Q5875346) (← links)
- Fusion of recursive programs with computational effects (Q5941164) (← links)
- Restriction categories. I: Categories of partial maps (Q5958307) (← links)
- Lax Liftings and Lax Distributive Laws (Q6190599) (← links)
- Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects (Q6588924) (← links)