Kock A. On Double Dualization Monads. Math. Scand. 1970;27:151-165. doi:10.7146/math.scand.a-10995