Using category theory to model software component dependencies

As the size and complexity of software systems grow, the identification and proper management of interconnection dependencies among various pieces of a system have become responsible for an increasingly important part of the development effort. In today's large systems, the variety of encountered interconnection relationships (such as implements, uses, and extends) is very large, while the complexity of protocols for managing them can be very high. The paper tries to address this problem by using category theory. It also gives a framework of dependency modeling.