The class of all fibered automata is a variety of two-sorted algebras. This paper provides a full description of the lattice of varieties of fibred automata.
@article{bwmeta1.element.bwnjournal-article-doi-10_7151_dmgaa_1121,
author = {Anna Mu\'cka},
title = {The lattice of varieties of fibered automata},
journal = {Discussiones Mathematicae - General Algebra and Applications},
volume = {26},
year = {2006},
pages = {87-107},
zbl = {1138.08003},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_7151_dmgaa_1121}
}
Anna Mućka. The lattice of varieties of fibered automata. Discussiones Mathematicae - General Algebra and Applications, Tome 26 (2006) pp. 87-107. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_7151_dmgaa_1121/
[000] [1] G. Birkhoff and J.D. Lipson, Heterogenous algebras, J. Comb. Th. 8 (1970), 115-133.
[001] [2] J.A. Goguen and J. Meseguer, Completeness of many-sorted equational logic, Houston J. Math. 11 (1985), 307-334. | Zbl 0602.08004
[002] [3] H. Lugowski, Grundzüge der Universallen Algebra, Teuber, Leipzig 1976.
[003] [4] I. Rosenberg, A classification of universal algebras by infinitary relations, Algebra Universalis 1 (1972), 350-353. | Zbl 0243.08006
[004] [5] J.D.H. Smith, Continued fractions, fibered automata, and a theorem of Rosenberg, Multiple-Valued Logic 8 (2002), 503-515. | Zbl 1022.08003