Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 3 of 3
Page created, more to come. <a href="https://ncatlab.org/nlab/revision/Radon+monad/1">v1</a>, <a href="https://ncatlab.org/nlab/show/Radon+monad">current</a>
Page created, more to come.
v1, current
Added construction, algebras, ordered case. <a href="https://ncatlab.org/nlab/revision/diff/Radon+monad/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/Radon+monad/5">v5</a>, <a href="https://ncatlab.org/nlab/show/Radon+monad">current</a>
Added construction, algebras, ordered case.
diff, v5, current
Lax morphisms are concave functions. <a href="https://ncatlab.org/nlab/revision/diff/Radon+monad/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/Radon+monad/5">v5</a>, <a href="https://ncatlab.org/nlab/show/Radon+monad">current</a>
Lax morphisms are concave functions.