Kock, A. (1970) “On Double Dualization Monads”., MATHEMATICA SCANDINAVICA, 27, pp. 151–165. doi: 10.7146/math.scand.a-10995.