Description

Book Synopsis
This is the first mature and accessible introduction to coalgebra, providing clear mathematical explanations, with many examples and exercises involving deterministic and non-deterministic automata, transition systems, streams, Markov chains and weighted automata. It will be of interest to mathematicians, computer scientists, mathematical physicists and even economists.

Trade Review
'The book is very carefully written, its many examples are discussed usually in great detail, expressing patiently the salient features to be exhibited. This applies to the usually fairly detailed proofs as well. Another treasure trove is the collection of most instructive exercises, of which there are plenty … This admirable book sets the standard for the work on set-based coalgebras for many years to come. It can be used for reference, and it is equally usable as a textbook.' Ernst-Erich Doberkat, Zentralblatt MATH

Table of Contents
1. Motivation; 2. Coalgebras of polynomial functors; 3. Bisimulations; 4. Logic, lifting and finality; 5. Monads, comonads and distributive laws; 6. Invariants and assertions; References; Definition and symbol index; Subject index.

Introduction to Coalgebra Towards Mathematics of States and Observation 59 Cambridge Tracts in Theoretical Computer Science Series Number 59

    Product form

    £133.95

    Includes FREE delivery

    RRP £141.00 – you save £7.05 (5%)

    Order before 4pm today for delivery by Mon 17 Aug 2026.

    A Hardback by Bart Jacobs

    15 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Introduction to Coalgebra Towards Mathematics of States and Observation 59 Cambridge Tracts in Theoretical Computer Science Series Number 59 by Bart Jacobs

      Publisher: Cambridge University Press
      Publication Date: Publication Date: 10/27/2016 12:00:00 AM
      ISBN13: 9781107177895, 978-1107177895
      ISBN10: 1107177898
      Also in:
      Mathematical foundations

      Description

      Book Synopsis
      This is the first mature and accessible introduction to coalgebra, providing clear mathematical explanations, with many examples and exercises involving deterministic and non-deterministic automata, transition systems, streams, Markov chains and weighted automata. It will be of interest to mathematicians, computer scientists, mathematical physicists and even economists.

      Trade Review
      'The book is very carefully written, its many examples are discussed usually in great detail, expressing patiently the salient features to be exhibited. This applies to the usually fairly detailed proofs as well. Another treasure trove is the collection of most instructive exercises, of which there are plenty … This admirable book sets the standard for the work on set-based coalgebras for many years to come. It can be used for reference, and it is equally usable as a textbook.' Ernst-Erich Doberkat, Zentralblatt MATH

      Table of Contents
      1. Motivation; 2. Coalgebras of polynomial functors; 3. Bisimulations; 4. Logic, lifting and finality; 5. Monads, comonads and distributive laws; 6. Invariants and assertions; References; Definition and symbol index; Subject index.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account