Kock, A. “On Double Dualization Monads”. MATHEMATICA SCANDINAVICA, vol. 27, June 1970, pp. 151-65, doi:10.7146/math.scand.a-10995.