Category theory applied to computation and control | Kaicus Deutschland