Introduction to Coalgebra

Towards Mathematics of States and Observation

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing
Cover of the book Introduction to Coalgebra by Bart Jacobs, Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Bart Jacobs ISBN: 9781316832448
Publisher: Cambridge University Press Publication: October 27, 2016
Imprint: Cambridge University Press Language: English
Author: Bart Jacobs
ISBN: 9781316832448
Publisher: Cambridge University Press
Publication: October 27, 2016
Imprint: Cambridge University Press
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Cambridge University Press

Cover of the book Superstring Theory: Volume 1, Introduction by Bart Jacobs
Cover of the book Magna Carta, Religion and the Rule of Law by Bart Jacobs
Cover of the book The Cambridge Economic History of Modern Britain: Volume 1, Industrialisation, 1700–1860 by Bart Jacobs
Cover of the book Funds of Identity by Bart Jacobs
Cover of the book Deadly Clerics by Bart Jacobs
Cover of the book Modernism and the Machinery of Madness by Bart Jacobs
Cover of the book Prosecutors and Democracy by Bart Jacobs
Cover of the book Rock Fractures in Geological Processes by Bart Jacobs
Cover of the book The Cambridge Companion to Byron by Bart Jacobs
Cover of the book The Bloch–Kato Conjecture for the Riemann Zeta Function by Bart Jacobs
Cover of the book Music and Protest in 1968 by Bart Jacobs
Cover of the book Teaching, Learning, and Visual Literacy by Bart Jacobs
Cover of the book Institutional Choice and Global Commerce by Bart Jacobs
Cover of the book The Cambridge Companion to the Spanish Novel by Bart Jacobs
Cover of the book Enduring Rivalries in the Asia-Pacific by Bart Jacobs
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy