Title:
|
On minimal realizations of behavior maps in categorial automata theory (English) |
Author:
|
Trnková, Věra |
Language:
|
English |
Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
ISSN:
|
0010-2628 (print) |
ISSN:
|
1213-7243 (online) |
Volume:
|
15 |
Issue:
|
3 |
Year:
|
1974 |
Pages:
|
555-566 |
. |
Category:
|
math |
. |
MSC:
|
00A05 |
MSC:
|
18B20 |
MSC:
|
18C15 |
MSC:
|
68Q45 |
idZBL:
|
Zbl 0296.18003 |
idMR:
|
MR0352205 |
. |
Date available:
|
2008-06-05T20:45:48Z |
Last updated:
|
2012-04-27 |
Stable URL:
|
http://hdl.handle.net/10338.dmlcz/105577 |
. |
Reference:
|
[1] J. ADÁMEK V. KOUBEK V. POHLOVÁ: The colimits in the generalized algebraic categories.Acta Univ. Carolinae 13 (1972), 29-40. MR 0390010 |
Reference:
|
[2] A. ARBIB E. G. MANES: Basic concepts of category theory applicable to computation and control.Category Theory applied to Computation and Control, Proceedings of the First International Symposium, Amherst, Massachusetts 1974, 2-41. |
Reference:
|
[3] A. ARBIB E. G. MANES: A categorist's view of automata and systems.Category Theory applied to Computation and Control, Proceedings of the First International Symposium, Amherst, Massachussetts 1974, 62-78. |
Reference:
|
[4] V. KOUBEK: Set functors.Comment. Math. Univ. Carolinae 12 (1971), 175-195. Zbl 0217.06803, MR 0286860 |
Reference:
|
[5] T. KURKOVÁ, POHLOVÁ V. KOUBEK: When a generalized algebraic category is monadic.Comment. Math. Univ. Carolinae, to appear. MR 0335595 |
Reference:
|
[6] S. MacLANE: Categories for the Working Mathematician.New York - Heidelberg - Berlin 1971. MR 0354798 |
Reference:
|
[7] P. PTÁK: On equalizers in generalized algebraic categories.Comment. Math. Univ. Garolinae 13 (1972), 351- 357. MR 0302732 |
Reference:
|
[8] V. TRNKOVÁ P. GORALČÍK: On products in generalized algebraic categories.Comment. Math. Univ. Carolinae 10 (1969), 49-89. MR 0246932 |
. |