I am a training Algebraic Geometer, and am currently trying to prepare a course on category theory. I would be really thankful if people could tell me about "real-math" applications of theorems about monads which they came across during their career.