Feedback systems in a general algebraic setting

The "geometric" theory of [1] is extended to a universal algebraic setting. Of central interest are the subalgebra and congruence lattices of the state algebra: for example, distinguished systems objects such as the reachability subalgebra are extremal fixpoints of mappings defined on these lattices. Conditions are given for the solvability of an abstract disturbance decoupling problem.