Introduction to coalgebra : towards mathematics of states and observation /

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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Jacobs, Bart (Author)
Format: Electronic eBook
Language:Inglés
Published: Cambridge, United Kingdom : Cambridge University Press, 2017.
Series:Cambridge tracts in theoretical computer science ; 59.
Subjects:
Associative algebras.
Universal enveloping algebras.
Algebra, Universal.
Algèbres associatives.
Algèbres enveloppantes universelles.
Algèbre universelle.
MATHEMATICS > Algebra > Intermediate.
Assoziative Algebra
Theoretische Informatik
Online Access:Texto completo
Table of Contents:
  • Motivation
  • Coalgebras of polynomial functors
  • Bisimulations
  • Logic, lifting and finality
  • Monads, comonads and distributive laws
  • Invariants and assertions.

Similar Items