Pattern runs on matter: The free monad monad as a module over the cofree comonad comonad

Author

David Spivak

Published

June 17, 2024