Leibniz does get a mention, but it'll already take a while to explain these two, so I'll leave his full reconciliation as an exercise for the reader ;)
Every mathematical monad comes from an adjunction, which unfortunately implies they're not as windowless as Leibniz would like? (or does it merely imply that in the Leibnizian setting the structure is always external and never internal?)
Can we make a mathematical monad out of the adjunction presented above? Let g(C) be the minimum G and c(G) be the maximum C in the model above, then we certainly have g(C) = g(c(g(C))) and c(G) = c(g(c(G))), which formally suggest we may be able to do something.
Exercise: does the triple (T, μ, η) exist? what about (G, δ, ϵ) in the other direction? If they do exist, what are they, for Aquinas, Leibniz, and Spinoza?
