| Abstract: | ABSTRACT Following the Arbib-Manes approach to machines in categories, the categories Mach(C) of machines and TBeh(C) of total behaviours are constructed, where c is a class of state-behaviour processes. It is shown that the total external behaviour functor E: Mach(C) → TBeh(C) has a left adjoint and that the free realization of any total behaviour is reachable. Furthermore, the restriction of E to the full subcategory of Mach(C) with all reachable machines as objects has as right adjoint the minimal realization functor. |
