. . . . "61387397"^^ . . . . . . . . "Codensity monad"@en . . "In mathematics, especially in category theory, the codensity monad is a fundamental construction associating a monad to a wide class of functors."@en . . . . . . . . . . . . . . . . . "6310"^^ . "In mathematics, especially in category theory, the codensity monad is a fundamental construction associating a monad to a wide class of functors."@en . . . . "1032019566"^^ . . . . . . . . . .