The following pages link to Order completion monads (Q1055871):
Displaying 12 items.
- An algebraic approach to stable domains (Q917677) (← links)
- Posets isomorphic to their extensions (Q1064328) (← links)
- On P-dominions of continuous algebras (Q1076704) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Bigeneration in complete lattices and principal separation in ordered sets (Q1182066) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- Join-completions of \(L\)-ordered sets (Q1759729) (← links)
- Completions for partially ordered semigroups (Q1821128) (← links)
- Monads for which structures are adjoint to units (Q1903697) (← links)
- A Denotational Semantic Theory of Concurrent Systems (Q2945722) (← links)
- ORDER EXTENSIONS AS ADJOINT FUNCTORS (Q3737471) (← links)
- A class of join-completions of partially ordered semigroups (Q6042629) (← links)
