> Leibniz's monads [...]have nothing in common with category theory monads except the name.[0] The monad is something about which you can reason but you cannot

> Leibniz's monads [...]have nothing in common with category theory monads except the name.[0] The monad is something about which you can reason but you cannot look inside because it is windowless. No quibbling, please.