On Double Dualization Monads. - Kock, Anders (MATHEMATICA SCANDINAVICA, 1970)