Isbell duality and pointfree topology
- Lawvere, Taking categories seriously http://138.73.27.39/tac/reprints/articles/8/tr8.pdf
- Mellies, The parametric continuation monad https://www.irif.fr/~mellies/tensorial-logic/3-the-parametric-continuation-monad.pdf