Operations and equations for coalgebras

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Science. Official publication website can be found on muni.cz.

Authors	KURZ A. ROSICKÝ J.
Year of publication	2005
Type	Article in Periodical
Magazine / Source	Mathematical Structures in Computer Science
MU Faculty or unit	Faculty of Science
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:	Categorical Methods of the Theory of Structures and Computer Science Mathematical structures of algebra and geometry