>cidoku Though I think Monad exists as the direct limit of every ascending chain formed by the inclusion morphisms ⊆. Thus Monad contains All. It exists as the hardcap. The essence of it is unthinkable. It is at least not a set because of Russell's paradox. And since it contains all possible worlds, it is independent from spacetime and therefore eternal.