copy and discard monad

Last updated Nov 12, 2024

More generally, copy and discard functor.

It remains to explain this in terms of copy-discard functors.

Tags: Monad, copy-discard category.