Introduction to Coalgebra
Introduction to Coalgebra
Towards Mathematics of States and Observation
Cambridge University Press
10/2016
494
Dura
Inglês
9781107177895
820
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
