Universal algebra and coalgebra
著者
書誌事項
Universal algebra and coalgebra
World Scientific, c2009
大学図書館所蔵 全17件
注記
Includes bibliography and index
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より