Universal algebra and coalgebra
Author(s)
Bibliographic Information
Universal algebra and coalgebra
World Scientific, c2009
Available at / 17 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliography and index
Description and Table of Contents
Description
The purpose of this book is to study the structures needed to model objects in universal algebra, universal coalgebra and theoretical computer science. Universal algebra is used to describe different kinds of algebraic structures, while coalgebras are used to model state-based machines in computer science. The connection between algebras and coalgebras provides a way to connect static data-oriented systems with dynamical behavior-oriented systems. Algebras are used to describe data types and coalgebras describe abstract systems or machines. The book presents a clear overview of the area, from which further study may proceed.
Table of Contents
- Algebras and Identities
- State-based Systems
- Basic Concepts from Category Theory
- F-Coalgebras
- F-Algebras
- (F1,F2)-Algebras
- Terminal Coalgebras
- Cofree F-Coalgebras and Coequations
- Coalgebras of Type
- Clones of Operations and Co-operations
- Semigroups of Operations and Co-operations
- Cohyperidentities and M-Solid Classes of Coalgebras.
by "Nielsen BookData"