## A Tutorial on (Co)Algebras and (Co)Induction (1997)

### Cached

### Download Links

- [tfs.cs.tu-berlin.de]
- [www.cse.unsw.edu.au]
- CiteULike

### Other Repositories/Bibliography

Venue: | EATCS Bulletin |

Citations: | 228 - 34 self |

### BibTeX

@ARTICLE{Jacobs97atutorial,

author = {Bart Jacobs and Jan Rutten},

title = {A Tutorial on (Co)Algebras and (Co)Induction},

journal = {EATCS Bulletin},

year = {1997},

volume = {62},

pages = {62--222}

}

### Years of Citing Articles

### OpenURL

### Abstract

. Algebraic structures which are generated by a collection of constructors--- like natural numbers (generated by a zero and a successor) or finite lists and trees--- are of well-established importance in computer science. Formally, they are initial algebras. Induction is used both as a definition principle, and as a proof principle for such structures. But there are also important dual "coalgebraic" structures, which do not come equipped with constructor operations but with what are sometimes called "destructor" operations (also called observers, accessors, transition maps, or mutators). Spaces of infinite data (including, for example, infinite lists, and non-well-founded sets) are generally of this kind. In general, dynamical systems with a hidden, black-box state space, to which a user only has limited access via specified (observer or mutator) operations, are coalgebras of various kinds. Such coalgebraic systems are common in computer science. And "coinduction" is the appropriate te...