Software engineering tasks instrumentation by category theory

Abstract

This paper includes a contribution to explaining category theory using software engineering tasks and vice versa. First, basics of category theory are presented. A couple of examples follow including definitions of categories for web services and/or ones that use 2D/3D points as objects and computer graphics transformations as morphisms. Another category is shown for software testing area. The last example is illustrated by Java source code showing applicability of the approach in building real program systems. The paper ends by a conclusion including discussion about future work and research directions.