The following pages link to (Q4499236):
Displaying 6 items.
- Equational properties of iterative monads (Q618163) (← links)
- An equational notion of lifting monad (Q1398461) (← links)
- Deforestation, program transformation, and cut-elimination (Q4917034) (← links)
- Partiality and Container Monads (Q5056003) (← links)
- Lifting as a KZ-doctrine (Q5057470) (← links)
- Codensity liftings of monads (Q5275349) (← links)