We know that monads come from adjunctions (and this was discussed on SO too). The usual monads in programming use come from well-known adjunctions. So where does the Tardis monad come from? (RevState would be nice to know about too).
Asked
Active
Viewed 244 times
9
Jacques Carette
- 3,002
- 21
- 28
-
I strongly suspect `RevState` will be an adjunction between **Hask** and **Hask**Op. – leftaroundabout Mar 28 '19 at 12:56