A comonadic account of behavioural covarieties of coalgebras

DOI10.1017/S096012950400458XzbMATH Open1070.08001OpenAlexW1995137632MaRDI QIDQ4675768

Robert Goldblatt

Publication date: 6 May 2005

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s096012950400458x

zbMATH Keywords

coalgebrascomonadbehavioural covarietypure subcomonads

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50)

Related Items (3)

A coalgebraic approach to non-determinism: applications to multilattices ⋮ Theoretical Aspects of Computing – ICTAC 2005 ⋮ Title not available (Why is that?)

This page was built for publication: A comonadic account of behavioural covarieties of coalgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4675768)