Weak Inclusion Systems: Part Two
Virgil Emil Căzănescu, Grigore Roşu · 2000
: New properties and implications of inclusion systems are investigated in the present paper. Many properties of lattices, factorization systems and special practical cases can be abstracted and adapted to our framework, making the various versions of inclusion systems useful tools for computer scientists and mathematicians. Key Words: Category theory, logic. 1 Introduction Computing Science concepts often take birth observing and studying practical situations and phenomena encountered in the process of development of software systems. For this reason, well established mathematical concepts and tools seem not to be perfectly suitable for some computing aspects. A concrete case is modularization [GB92, DGS93, Ros99], whose purpose is to formalize and give semantics to operations on software modules, such as importing, aggregation, hiding, parameterization, etc. Most of the operations on modules involve the notion of inclusion as a unique interpretation of a module into another; the "u...