A Categorical Approach to Mereology and Its Application to Modelling Software Components

Mereocat (mereological category), a theory of part-whole relations based on category theory, is proposed and its basic properties are discussed. The concepts of mereological sum is redefined in categorical framework. The theory is then applied to model some properties of component software architecture.