The theory of universal algebras was well-developed in the twentieth century. [It] provides a basis for model theory, and [provides] an abstract understanding of familiar principles of induction, recursion, and freeness.

The theory of **coalgebras** is considerably [less] developed. Coalgebras arise naturally, as Kripke models for modal logic, as automata and objects for object oriented programming languages in computer science, and more.

Jesse Hughes, A Study of Categories of Algebras and Coalgebras

### Like this:

Like Loading...

*Related*

Tags: category theory, coalgebra, computer science, functional programming, logic, logical circular logic, mathematical modelling, modal logic, object-oriented programming, possible worlds, programming, Saul Kripke, universal algebra

This entry was posted on November 2, 2011 at 7:00 pm and is filed under Uncategorized. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

## Leave a Reply