On an equivalence of system-theoretical and categorical concepts. (English) Zbl 0454.18006


18B20 Categories of machines, automata
68Q45 Formal languages and automata


Zbl 0318.18008
Full Text: EuDML


[1] J. Adámek: Realization theory for automata in categories. J. Pure Appl. Algebra 9 (1977), 281-296.
[2] J. Adámek: Categorical realization theory II. Nerode equivalences. Algebraische Modele, Kategorien und Gruppoide (H.-J. Hoehnke. Akademie-Verlag, Berlin 1979, 123- 136.
[3] J. Adámek V. Trnková: Varietors and machines. Technical Rep. 78 - 6, Univ. of Massachusetts, Amherst, 1978
[4] B. D. O. Anderson M. A. Arbib E. G. Manes: Foundations of system theory: finitary and infinitary conditions. Lect. Notes Econ. Math. Syst. 115, Springer-Verlag, Berlin-Heidelberg-New York 1976. · Zbl 0462.93003
[5] M. A. Arbib E. G. Manes: Fuzzy machines in a category. Bull. Austral. Mathem. Soc. 13 (1975), 169-210. · Zbl 0318.18008
[6] M. Barr: Right exact functors. J. Pure Appl. Algebra 5 (1974), 1-7. · Zbl 0281.18003
[7] H. Ehring H.-J. Kreowski: The skeleton of minimal realization. Algebraische Modelle, Kategorien und Gruppoide (H.-J. Hoehnke. Akademie-Verlag, Berlin 1979, 137 - 154.
[8] H. Ehring W. Kühnel: Categorical approach to non-linear constant continuous-time systems. Technical Rep. 76 - 05, University of Berlin · Zbl 0356.94065
[9] H. Ehring K. D. Kiermeier H.-J. Kreowski W. Kühnel: Universal Theory of Automata, a Categorical Approach. Teubner-Verlag, Stuttgart 1974. · Zbl 0289.94023
[10] J. A. Goguen: Systems and minimal realization. Proc. 1974 IEEE Conf. Decision Contr., 42-46.
[11] H. Herrlich: Factorization of morphisms \(f \colon B \to FA\). Math. Z. 114 (1970), 180-186. · Zbl 0182.34502
[12] R. E. Kalman P. L. Falb M. A. Arbib: Topics in Mathematical Systems Theory. McGraw-Hill, New York 1969. · Zbl 0231.49001
[13] V. Trnková: On minimal realizations of behavior maps in categorical automata theory. Comment. Math. Univ. Carolinae 15 (1974), 555-566. · Zbl 0296.18003
[14] V. Trnková: Automata and Categories. Mathematical Foundations of Comp. Science. (Lect. Notes in Comp. Science 32.) Springer-Verlag, Berlin-Heidelberg-New York 1975, 138-152.
[15] V. Trnková J. Adámek: Realization is not universal. Weiterbildungszentrum für mathematische Kybernetik und Rechentechnik TU Dresden, Heft 21 (1977), 38 - 55.
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.