Pages that link to "Item:Q3552043"
From MaRDI portal
The following pages link to Monads as extension systems -- no iteration is necessary (Q3552043):
Displaying 9 items.
- Algebraic theory of vector-valued integration (Q424559) (← links)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832) (← links)
- No-iteration pseudomonads (Q2847367) (← links)
- No-iteration mixed distributive laws (Q2973244) (← links)
- Bicategories in univalent foundations (Q5055496) (← links)
- Flexibly graded monads and graded algebras (Q6109207) (← links)
- Distributive laws for relative monads (Q6159707) (← links)
- The formal theory of relative monads (Q6496517) (← links)