We shall discuss the main constituents of the coalgebraic approach to the modelling of dynamical systems and infinite data structures.

(i) A system is modelled by a map s: S -> F(S), where S is the set of the states of the system; F(-) is the system's type (formally a …

read more