Text this: Category theory applied to computation and control