Functorial algebras and automata. (English) Zbl 0377.94065


68Q45 Formal languages and automata
18B20 Categories of machines, automata
08B20 Free algebras
18A30 Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)
Full Text: EuDML


[1] J. Adámek: Free algebras and automata realizations in the language of categories. Comment. Math. Univ. Carolinae 15 (1974), 589-602. · Zbl 0293.18006
[2] J. Adámek: Categorial automata theory and universal algebra. (In Czech.) Dissertation. · Zbl 1110.18002
[3] J. Adámek: Automata in categories, finiteness contra minimality. Lecture Notes in Comp. Sci. 32. Springer (1975), 160-166.
[4] J. Adámek: Realization theory for automata in categories. To appear in J. Pure Appl. Algebra.
[5] M. A. Arbib E. G. Manes: A categorist’s view of automata and systems. Lecture Notes in Comp. Sci. 25. Springer (1975), 51 - 64. · Zbl 0306.18002
[6] M. A. Arbib E. G. Manes: Adjoint machines, state-behavior machines and duality. J. Pure Appl. Algebra 6, (1975), 313-345. · Zbl 0323.18002
[7] M. Barr: Coequalizers and free triples. Math. Z. 116, (1970), 307-322. · Zbl 0194.01701
[8] H. Herrlich G. E. Strecker: Category theory. Allyn and Bacon, Boston 1973. · Zbl 0265.18001
[9] V. Koubek J. Reiterman: Automata in categories - input processes. Lecture Notes in Comp. Sci. 32. Springer (1975), 280-286. · Zbl 0319.94026
[10] V. Kůrková-Pohlová V. Koubek: When a generalized algebraic category is monadic. Comment. Math. Univ. Carolinae 15 (1974), 577-602.
[11] S. MacLane: Categories for the working mathematician. Springer 1968. · Zbl 0705.18001
[12] B. Mitchell: Theory of categories. Academic Press 1965. · Zbl 0136.00604
[13] J. Reiterman: A left adjoint construction related to free triples. To appear in J. Pure Appl. Algebra. · Zbl 0385.18006
[14] J. Slominsky: The theory of abstract algebras with infinitary operations. Rozprawy Matematyczne 18 (1959).
[15] V. Trnková: On minimal realizations of behavior maps in categorial automata theory. Comment. Math. Univ. Carolinae 15 (1974), 555-566. · Zbl 0296.18003
[16] V. Trnková J. Adámek V. Koubek J. Reiterman: Free algebras, free monads and input processes. Comment. Math. Univ. Carolinae 16 (1975), 339-352. · Zbl 0308.18001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.