Pages that link to "Item:Q1398461"
From MaRDI portal
The following pages link to An equational notion of lifting monad (Q1398461):
Displaying 11 items.
- Equational properties of iterative monads (Q618163) (← links)
- Lifting results for categories of algebras (Q1605183) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- Traced Premonoidal Categories (Q4460686) (← links)
- (Q4499236) (← links)
- Partial Recursive Functions and Finality (Q4922089) (← links)
- Partiality and Container Monads (Q5056003) (← links)
- Lifting as a KZ-doctrine (Q5057470) (← links)
- Codensity liftings of monads (Q5275349) (← links)
- Lifting functors to Eilenberg-Moore category of monad generated by functor CpCp (Q5287290) (← links)
- Lifting theorems for Kleisli categories (Q5890054) (← links)