• DML-CZ Home

18B20 Categories of machines, automata, operative categories (19 articles)

• Wißmann, Thorsten; Milius, Stefan; Katsumata, Shin-ya; Dubut, Jérémy: A coalgebraic view on reachability. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 60 (2019), issue 4, pp. 605-638
• Conte, G.; Perdon, Anna M.: The matching problem for behavioral systems. (English). Kybernetika, vol. 31 (1995), issue 6, pp. 613-621
• Kúrka, P.: One dimensional dynamics and factors of finite automata. (English). Acta Universitatis Carolinae. Mathematica et Physica, vol. 34 (1993), issue 2, pp. 83-95
• Dikranjan, Dikran N.; Giuli, Eraldo: Ordinal invariants and epimorphisms in some categories of weak Hausdorff spaces. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 27 (1986), issue 2, pp. 395-417
• Szigeti, Jenö: A note on reflective subcategories defined by partial algebras. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 25 (1984), issue 2, pp. 319-323
• Novotný, Jiří: The category of Pawlak machines. (English). Czechoslovak Mathematical Journal, vol. 32 (1982), issue 4, pp. 640-647
• Burešová, Libuše: Über Mengen von Derivationen. II. (German) [On the set o derivations. II]. Archivum Mathematicum, vol. 18 (1982), issue 2, pp. 57-63
• Adámek, Jiří; Ehrig, Hartmut; Trnková, Věra: On an equivalence of system-theoretical and categorical concepts. (English). Kybernetika, vol. 16 (1980), issue 5, pp. (389)-410
• Trnková, Věra: Behaviour of machines in categories. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 2, pp. 267-282
• Adámek, Jiří; Koubek, Václav: Functorial algebras and automata. (English). Kybernetika, vol. 13 (1977), issue 4, pp. (245)-260
• Vinárek, Jiří: On extensions of functors to the Kleisli category. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 18 (1977), issue 2, pp. 319-327
• Fried, Jan: Simulations of Pawlak machines as fuzzy morphisms of partial algebras. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 18 (1977), issue 2, pp. 343-350
• Burešová, Libuše: Über Mengen von Derivationen. I. (German) [On the set of derivations. I]. Archivum Mathematicum, vol. 13 (1977), issue 1, pp. 1-12
• Adámek, Jiří: Cogeneration and minimal realization (Preliminary communication). (English). Commentationes Mathematicae Universitatis Carolinae, vol. 17 (1976), issue 3, pp. 609-614
• Trnková, Věra; Adámek, Jiří; Koubek, Václav; Reiterman, Jan: Free algebras, input processes and free monads. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 16 (1975), issue 2, pp. 339-351
• Trnková, Věra: Minimal realizations for finite sets in categorial automata theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 16 (1975), issue 1, pp. 21-35
• Adámek, Jiří: Free algebras and automata realizations in the language of categories. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 15 (1974), issue 4, pp. 589-602
• Trnková, Věra: On minimal realizations of behavior maps in categorial automata theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 15 (1974), issue 3, pp. 555-566
• Hořejš, Jiří: Automaty bez vnitřní paměti. (Czech) [Automata without internal memory]. Časopis pro pěstování matematiky, vol. 92 (1967), issue 2, pp. 193-205