Category for the theory of control loops