Article
Full entry |
PDF
(0.8 MB)
Feedback
PDF
(0.8 MB)
Feedback
References:
[1] J. Adámek: Free algebras and automata realizations in the language of categories. Comment. Math. Univ. Carolinae 15 (1974), 589-602. MR 0352209
[2] J. Adámek: Categorial automata theory and universal algebra. (In Czech.) Dissertation.
[3] J. Adámek: Automata in categories, finiteness contra minimality. Lecture Notes in Comp. Sci. 32. Springer (1975), 160-166. MR 0393176
[4] J. Adámek: Realization theory for automata in categories. To appear in J. Pure Appl. Algebra. MR 0460410
[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. MR 0383834
[6] M. A. Arbib E. G. Manes: Adjoint machines, state-behavior machines and duality. J. Pure Appl. Algebra 6, (1975), 313-345. MR 0414654
[7] M. Barr: Coequalizers and free triples. Math. Z. 116, (1970), 307-322. MR 0272849 | Zbl 0194.01701
[8] H. Herrlich G. E. Strecker: Category theory. Allyn and Bacon, Boston 1973. MR 0349791
[9] V. Koubek J. Reiterman: Automata in categories - input processes. Lecture Notes in Comp. Sci. 32. Springer (1975), 280-286. MR 0393177
[10] V. Kůrková-Pohlová V. Koubek: When a generalized algebraic category is monadic. Comment. Math. Univ. Carolinae 15 (1974), 577-602. MR 0360743
[11] S. MacLane: Categories for the working mathematician. Springer 1968. MR 1712872
[12] B. Mitchell: Theory of categories. Academic Press 1965. MR 0202787 | Zbl 0136.00604
[13] J. Reiterman: A left adjoint construction related to free triples. To appear in J. Pure Appl. Algebra. MR 0460411 | Zbl 0385.18006
[14] J. Slominsky: The theory of abstract algebras with infinitary operations. Rozprawy Matematyczne 18 (1959). MR 0108457
[15] V. Trnková: On minimal realizations of behavior maps in categorial automata theory. Comment. Math. Univ. Carolinae 15 (1974), 555-566. MR 0352205
[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. MR 0371986
Search
Partner of
