Bart Jacobs

Introduction to Coalgebra

• Gebundenes Buch

Produktbeschreibung

An accessible introduction to coalgebra, with clear mathematical explanations and numerous examples and exercises.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 494
• Erscheinungstermin: 20. April 2017
• Englisch
• Abmessung: 235mm x 157mm x 31mm
• Gewicht: 861g
• ISBN-13: 9781107177895
• ISBN-10: 1107177898
• Artikelnr.: 45192210

Autorenporträt

Bart Jacobs is Professor of Software and Security Correctness at Radboud University Nijmegen, the Netherlands. His work has been supported by prestigious grants such as the Pionier grant from the Netherlands Organisation for Scientific Research and the Advanced Investigator Grant from the European Research Council. Professor Jacobs is a member of Academia Europaea.

Inhaltsangabe

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.