Abstract

We show that a standard axiomatization of mereology is equivalent to the condition that a topological space is discrete, and consequently, any model of general extensional mereology is indistinguishable from a model of set theory. We generalize these results to the Cartesian closed category of convergence spaces