Functorial algebras and automata
Kybernetika (1977)
- Volume: 13, Issue: 4, page (245)-260
- ISSN: 0023-5954
Access Full Article
topHow to cite
topReferences
top- J. Adámek, Free algebras and automata realizations in the language of categories, Comment. Math. Univ. Carolinae 15 (1974), 589-602. (1974) MR0352209
- J. Adámek, Categorial automata theory and universal algebra, (In Czech.) Dissertation.
- J. Adámek, Automata in categories, finiteness contra minimality, Lecture Notes in Comp. Sci. 32. Springer (1975), 160-166. (1975) MR0393176
- J. Adámek, Realization theory for automata in categories, To appear in J. Pure Appl. Algebra. MR0460410
- M. A. Arbib E. G. Manes, A categorist's view of automata and systems, Lecture Notes in Comp. Sci. 25. Springer (1975), 51 - 64. (1975) MR0383834
- M. A. Arbib E. G. Manes, Adjoint machines, state-behavior machines and duality, J. Pure Appl. Algebra 6, (1975), 313-345. (1975) MR0414654
- M. Barr, Coequalizers and free triples, Math. Z. 116, (1970), 307-322. (1970) Zbl0194.01701MR0272849
- H. Herrlich G. E. Strecker, Category theory, Allyn and Bacon, Boston 1973. (1973) MR0349791
- V. Koubek J. Reiterman, Automata in categories - input processes, Lecture Notes in Comp. Sci. 32. Springer (1975), 280-286. (1975) MR0393177
- V. Kůrková-Pohlová V. Koubek, When a generalized algebraic category is monadic, Comment. Math. Univ. Carolinae 15 (1974), 577-602. (1974) MR0360743
- S. MacLane, Categories for the working mathematician, Springer 1968. (1968) MR1712872
- B. Mitchell, Theory of categories, Academic Press 1965. (1965) Zbl0136.00604MR0202787
- J. Reiterman, A left adjoint construction related to free triples, To appear in J. Pure Appl. Algebra. Zbl0385.18006MR0460411
- J. Slominsky, The theory of abstract algebras with infinitary operations, Rozprawy Matematyczne 18 (1959). (1959) MR0108457
- V. Trnková, On minimal realizations of behavior maps in categorial automata theory, Comment. Math. Univ. Carolinae 15 (1974), 555-566. (1974) MR0352205
- V. Trnková J. Adámek V. Koubek J. Reiterman, Free algebras, free monads and input processes, Comment. Math. Univ. Carolinae 16 (1975), 339-352. (1975) MR0371986