Monoidal Computer III: A Coalgebraic View of Computability and Complexity