|
Organizers |
A one-sorted representation of fibered automata
by
Anna Mućka
Warsaw University of Technology
J. M. Barr proved that, the full subcategory of a variety of many-sorted algebras, consiting of algebras with all sorts non-empty and all sorts empty, is equivalent to a variety of one-sorted algebras. It is known that fibered automata form a two-sorted variety. We will present a direct construction of a one-sorted variety equivalent to the category consisting of all fibered automata with all sorts non-empty and also containing the automaton with both sorts empty.
Date received: May 12, 2008
Copyright © 2008 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 # cawc-59.