Tag Archives: universal algebra

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 … Continue reading →