Atlas home || Conferences | Abstracts | about Atlas

AAA60: Workshop on General Algebra (60. Arbeitstagung Allgemeine Algebra)
June 22-25, 2000
Dresden University of Technology
Dresden, Germany

Organizers
Reinhard Pöschel, Manfred Droste, Bernhard Ganter

View Abstracts
Conference Homepage

Operads in Universal Algebra
by
Ewa Graczynska
Institute of Mathematics of the Technical University of Opole

We deal with tree operads and co-tree operads to express algebras and co-algebras.

We express identities and co-identities in this language. Our aim is to present some universal algebraic results via operads. We are mainly intersted in G. Birkhoff's type theorems, proofs of identities, and word problems. We formalize the notion of a graphical proof and express some completeness theorems on special types of identities graphically. The main idea is to popularize universal algebraic results to other specialists as well.

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

Date received: February 8, 2000

Copyright © 2000 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 # caee-02.