Transparent categories and categories of transition systems

How much information about the internal structure of machines can be derived from the abstract structure of the algebra of the composition of machine homomorphisms? A complete posi, tive answer to this problem is derived by means of categorical algebra methods which are developed in this paper and are applied to transition systems with an arbitrary fixed input monoid.