A Categorical algebra with feedback over Intuitively

A canonical algebra of open transition systems

We show that a categorical algebra for open transition systems, also due to katis, sabadini and walters, is the free category with feedback over.This algebra of transition systems is obtained by adding state to an algebra of predicates, and therefore is, in this sense, the canonical such algebra.