The area of coalgebra has emerged within theoretical computer
science with a unifying claim: to be the mathematics of
computational dynamics. It combines ideas from the theory of
dynamical systems and from the theory of state-based computation.
Although still in its infancy, it is an active area of research
that generates wide interest. Written by one of the founders of the
field, this book acts as the first mature and accessible
introduction to coalgebra. It provides clear mathematical
explanations, with many examples and exercises involving
deterministic and non-deterministic automata, transition systems,
streams, Markov chains and weighted automata. The theory is
expressed in the language of category theory, which provides the
right abstraction to make the similarity and duality between
algebra and coalgebra explicit, and which the reader is introduced
to in a hands-on manner. The book will be useful to mathematicians
and (theoretical) computer scientists and will also be of interest
to mathematical physicists, biologists and economists.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!