The following pages link to (Q4668854):
Displaying 25 items.
- Lax algebras via initial monad morphisms: APP, TOP, MET and ORD (Q536041) (← links)
- On coalgebras over algebras (Q639641) (← links)
- The saturated prefilter monad (Q820674) (← links)
- Transfer theorems for \(\pi\)-monads (Q1262311) (← links)
- Continuous monads (Q2133476) (← links)
- Iterated covariant powerset is not a monad (Q2134821) (← links)
- Near distributive laws (Q2134823) (← links)
- Monads in topology (Q2268851) (← links)
- Semantics of a sequential language for exact real-number computation (Q2373708) (← links)
- Boolean restriction categories and taut monads (Q2503320) (← links)
- No-iteration mixed distributive laws (Q2973244) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- Witt vectors. Part 1 (Q3053864) (← links)
- (Q3101100) (← links)
- (Q3615577) (← links)
- (Q3824405) (← links)
- Realization of monoids on sets (Q4007316) (← links)
- Monovex sets (Q4634606) (← links)
- Probability, valuations, hyperspace: Three monads on top and the support as a morphism (Q5084481) (← links)
- Taut Monads, Dynamic Logic and Determinism (Q5262941) (← links)
- (Q5854545) (← links)
- Many valued topologies on L-sets (Q6058099) (← links)
- The formal theory of relative monads (Q6496517) (← links)
- Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects (Q6588924) (← links)
- The double contravariant powerset monad in the Goguen category of fuzzy sets (Q6588925) (← links)
