"Automata and Algebras in Categories" - читать интересную книгу автора (Adámek J., Trnková V.)