Publication details
Operations and equations for coalgebras
Authors | |
---|---|
Year of publication | 2005 |
Type | Article in Periodical |
Magazine / Source | Mathematical Structures in Computer Science |
MU Faculty or unit | |
Citation | |
Field | General mathematics |
Keywords | operation; coequation; coalgebra |
Description | We show how coalgebras can be presented by operations and coequations. We prove a general co-Birkhoff theorem describing covarieties of coalgebras by means of coequations. |
Related projects: |