Functorial algebras and automata
Jiřı́ Adámek, Vácłav Koubek · Czech digital mathematics library · 1977
Functorial Algebras and Automata JIŘÍ ADÁMEK, VÁCLAV KOUBEK This paper lays down algebraic foundations to the theory of machines in a category, initiated by Arbib and Manes.Functorial algebras (which are machines without outputs) are investigated: natural algorithms for free algebras and for colimits are exhibited; the existence of colimits and their preservation by the underlying objects is investigated.A corollary: state behaviour processes often coincide with the adjoint processes.