Category theory applied to computation and control - Manes, E.G (Springer-Verlag, 1975)