Applying Category Theory Concepts to System Specifications

An attempt to write mathematical requirements and to model system components using Category Theory