Category Theory Applied to Computation and Control