Atlas home || Conferences | Abstracts | about Atlas

AAA61: 61st Workshop on General Algebra + 16th Conference of Young Algebraists
February 2-4, 2001
TU Darmstadt
Darmstadt, Germany

View Abstracts
Conference Homepage

Completeness of Unary Coalgebras
by
Ewa Graczynska
Technical University of Opole, Poland

Our aim is to present some application of universal algebra methods for the theory of coalgebras of a given cotype.

In particular, we invent coterms and M-cohyperidentities.

We present a slight modification of Birkhoff's type variety theorem of H. P. Gumm.

A completeness theorem for M-cohypervarieties will be dicussed.

http://sci.po.opole.pl/~egracz

Date received: January 3, 2001

Copyright © 2001 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cafo-51.