Modal predicates and coequations

Warning

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

Authors	KURZ A. ROSICKÝ J.
Year of publication	2002
Type	Article in Periodical
Magazine / Source	Electronic Notes in Theoretical Computer Science
MU Faculty or unit	Faculty of Science
Citation
Field	General mathematics
Keywords	coalgebra; coequation
Description	We show that coalgebras can be presented by operations and equations. This is a special case of Linton's approach to algebras over a general base category. We prove a general co-Birkhoff theorem describing covarieties of coalgebras by means of coequations. We argue that the resulting coequational logic generalises modal logic.
Related projects:	Categorical Methods of the Theory of Structures and Computer Science Mathematical structures of algebra and geometry