Kock, Anders. 1970. “On Double Dualization Monads”. MATHEMATICA SCANDINAVICA 27 (June):151-65. https://doi.org/10.7146/math.scand.a-10995.