Introduction to Coalgebra: Towards Mathematics of States and Observation (Cambridge Tracts in Theoretical Computer Science Book 59) 1st Edition by Bart Jacobs (PDF)

Description

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.

User’s Reviews

Reviews from Amazon users which were colected at the time this book was published on the website:

⭐Many equations too small to read in the electronic edition. Doesn’t anyone check these things?

⭐A de-facto reference for the field of coalgebra, one of the most thriving streams of category theory in computer science.Highly recommended too as a first introduction to category theory, esp. for computer scientists.

⭐Dear Prof. Jacobs — if your books were more affordable, more people would read them!

Keywords

Free Download Introduction to Coalgebra: Towards Mathematics of States and Observation (Cambridge Tracts in Theoretical Computer Science Book 59) 1st Edition in PDF format
Introduction to Coalgebra: Towards Mathematics of States and Observation (Cambridge Tracts in Theoretical Computer Science Book 59) 1st Edition PDF Free Download
Download Introduction to Coalgebra: Towards Mathematics of States and Observation (Cambridge Tracts in Theoretical Computer Science Book 59) 1st Edition 2016 PDF Free
Introduction to Coalgebra: Towards Mathematics of States and Observation (Cambridge Tracts in Theoretical Computer Science Book 59) 1st Edition 2016 PDF Free Download
Download Introduction to Coalgebra: Towards Mathematics of States and Observation (Cambridge Tracts in Theoretical Computer Science Book 59) 1st Edition PDF
Free Download Ebook Introduction to Coalgebra: Towards Mathematics of States and Observation (Cambridge Tracts in Theoretical Computer Science Book 59) 1st Edition