Mereology

Mereology (SEP , Wikipedia ) is the analysis, especially the formal analysis, of the relation between parts and wholes. It has been studied for its own sake, by philosophers and for also for its applications to modeling and artificial intelligence.

Recently, mereology has been studied by applied category theorists: