Free algebras and automata realizations in the language of categories (1974)

by J Adámek
Venue:Commentat. Math Univers. Carolinae