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.
Sprache
Verlagsort
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
ISBN-13
978-981-283-745-5 (9789812837455)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
Autor*in
Univ Potsdam, Germany
Univ Of Lethbridge, Canada
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.
