The following pages link to (Q3614496):
Displayed 6 items.
- Lax algebras via initial monad morphisms: APP, TOP, MET and ORD (Q536041) (← links)
- Order-adjoint monads and injective objects (Q847677) (← links)
- The enriched Vietoris monad on representable spaces (Q2249254) (← links)
- Monads in topology (Q2268851) (← links)
- Lax extensions of coalgebra functors and their logic (Q2341702) (← links)
- A point-free perspective on lax extensions and predicate liftings (Q6149965) (← links)