Free algebras and automata realizations in the language of categories Jiří Adámek (1974) Commentationes Mathematicae Universitatis Carolinae
Functors on locally finitely presented additive categories Henning Krause (1998) Colloquium Mathematicae