For a language with state, we can work in a functor category.
Σε μια γλώσσα με κατάσταση, μπορούμε να εργαστούμε με μια κατηγορία functor.