Atlas home || Conferences | Abstracts | about Atlas

AAA63-Workshop on General Algebra (63. Arbeitstagung Allgemeine Algebra) combined with CYA17-Conference of Young Algebraists (17. Tagung junger Algebraiker)
February 22-24, 2002
University of Kaiserslautern, Department of Mathematics
Kaiserslautern, Germany

Organizers
Dietmar Schweigert

View Abstracts
Conference Homepage

Cohyperidentities
by
Ewa Graczynska
Technical University of Opole, Poland

We deal with unary coalgebras of a given cotype. A construction of unary copolynomials is given. Graphical explanation is presented, due to that of polynomials in universal algebras. Congruences and quotient coalgebras are discribed. Homomorphism and two homomorhisms theorems are presented on diagrams. Free coalgebras are constructed. Their role is the same as in classicl case. Cohypersubstitutions are defined and the theoery of cohyperidentities is presented. A slight modification of H. P. Gumm (Birkhoff´s like) theorem is given. Rules of inferences are defined to state the completeness theorem for such structures.

Date received: February 22, 2002

Copyright © 2002 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 # caht-32.