Monads are not invented, they are discovered multiple times. You invent toilets and gadgets, but every time you come across a mathematical object, if it really

Monads are not invented, they are discovered multiple times. You invent toilets and gadgets, but every time you come across a mathematical object, if it really is that object (with proofs), then it must be the same one (a.k.a. diagram commutes).