## Universal Coalgebra: a Theory of Systems (1996)

### Cached

### Download Links

- [www.cwi.nl]
- [homepages.cwi.nl]
- [www.cwi.nl]
- DBLP

### Other Repositories/Bibliography

Citations: | 298 - 31 self |

### BibTeX

@MISC{Rutten96universalcoalgebra:,

author = {J. J. M. M. Rutten},

title = {Universal Coalgebra: a Theory of Systems},

year = {1996}

}

### Years of Citing Articles

### OpenURL

### Abstract

In the semantics of programming, finite data types such as finite lists, have traditionally been modelled by initial algebras. Later final coalgebras were used in order to deal with infinite data types. Coalgebras, which are the dual of algebras, turned out to be suited, moreover, as models for certain types of automata and more generally, for (transition and dynamical) systems. An important property of initial algebras is that they satisfy the familiar principle of induction. Such a principle was missing for coalgebras until the work of Aczel (1988) on a theory of non-wellfounded sets, in which he introduced a proof principle nowadays called coinduction. It was formulated in terms of bisimulation, a notion originally stemming from the world of concurrent programming languages (Milner, 1980; Park, 1981). Using the notion of coalgebra homomorphism, the definition of bisimulation on coalgebras can be shown to be formally dual to that of congruence on algebras (Aczel and Mendler, 1989...