| Title:
|
On an equivalence of system-theoretical and categorical concepts (English) |
| Author:
|
Adámek, Jiří |
| Author:
|
Ehrig, Hartmut |
| Author:
|
Trnková, Věra |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
16 |
| Issue:
|
5 |
| Year:
|
1980 |
| Pages:
|
(389)-410 |
| . |
| Category:
|
math |
| . |
| MSC:
|
18B20 |
| MSC:
|
68Q45 |
| MSC:
|
93B20 |
| idZBL:
|
Zbl 0454.18006 |
| idMR:
|
MR602266 |
| . |
| Date available:
|
2009-09-24T17:16:08Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125178 |
| . |
| Reference:
|
[1] J. Adámek: Realization theory for automata in categories.J. Pure Appl. Algebra 9 (1977), 281-296. MR 0460410 |
| Reference:
|
[2] J. Adámek: Categorical realization theory II. Nerode equivalences.In: Algebraische Modele, Kategorien und Gruppoide (H.-J. Hoehnke, ed.). Akademie-Verlag, Berlin 1979, 123- 136. MR 0569581 |
| Reference:
|
[3] J. Adámek V. Trnková: Varietors and machines.Technical Rep. 78 - 6, Univ. of Massachusetts, Amherst, 1978 (to appear in Algebra Universalis). MR 0631413 |
| Reference:
|
[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. MR 0527292 |
| Reference:
|
[5] M. A. Arbib E. G. Manes: Fuzzy machines in a category.Bull. Austral. Mathem. Soc. 13 (1975), 169-210. MR 0407106 |
| Reference:
|
[6] M. Barr: Right exact functors.J. Pure Appl. Algebra 5 (1974), 1-7. Zbl 0281.18003, MR 0374239 |
| Reference:
|
[7] H. Ehring H.-J. Kreowski: The skeleton of minimal realization.In: Algebraische Modelle, Kategorien und Gruppoide (H.-J. Hoehnke, ed.). Akademie-Verlag, Berlin 1979, 137 - 154. MR 0569582 |
| Reference:
|
[8] H. Ehring W. Kühnel: Categorical approach to non-linear constant continuous-time systems.Technical Rep. 76 - 05, University of Berlin (to appear in RAIRO). |
| Reference:
|
[9] H. Ehring K. D. Kiermeier H.-J. Kreowski W. Kühnel: Universal Theory of Automata, a Categorical Approach.Teubner-Verlag, Stuttgart 1974. MR 0382387 |
| Reference:
|
[10] J. A. Goguen: Systems and minimal realization.Proc. 1974 IEEE Conf. Decision Contr., 42-46. |
| Reference:
|
[11] H. Herrlich: Factorization of morphisms $f \colon B \to FA$.Math. Z. 114 (1970), 180-186. |
| Reference:
|
[12] R. E. Kalman P. L. Falb M. A. Arbib: Topics in Mathematical Systems Theory.McGraw-Hill, New York 1969. MR 0255260 |
| Reference:
|
[13] V. Trnková: On minimal realizations of behavior maps in categorical automata theory.Comment. Math. Univ. Carolinae 15 (1974), 555-566. MR 0352205 |
| Reference:
|
[14] V. Trnková: Automata and Categories.In: Mathematical Foundations of Comp. Science. (Lect. Notes in Comp. Science 32.) Springer-Verlag, Berlin-Heidelberg-New York 1975, 138-152. MR 0393175 |
| Reference:
|
[15] V. Trnková J. Adámek: Realization is not universal.Weiterbildungszentrum für mathematische Kybernetik und Rechentechnik TU Dresden, Heft 21 (1977), 38 - 55. MR 0498783 |
| . |
