Costruzione di un universo di dispositivi ciclicamente monotoni massimali
Decomposition of automata and enriched category theory
Distributive laws. Applications to stochastic automata. (Lois distributives. Applications aux automates stochastiques.)
Errata corrige: “The matching problem for behavioral systems”
Finite categories and regular languages
Free algebras and automata realizations in the language of categories
Free algebras, input processes and free monads
Free, iteratively closed categories of complete lattices
From where do figurative algebras come ?
Functorial algebras and automata
Functorial concepts of complexity for finite automata.
Generalizing substitution
It is well known that, given an endofunctor on a category , the initial -algebras (if existing), i.e., the algebras of (wellfounded) -terms over different variable supplies , give rise to a monad with substitution as the extension operation (the free monad induced by the functor ). Moss [17] and Aczel, Adámek, Milius and Velebil [2] have shown that a similar monad, which even enjoys the additional special property of having iterations for all guarded substitution rules (complete iterativeness),...
Generalizing Substitution
It is well known that, given an endofunctor H on a category C , the initial (A+H-)-algebras (if existing), i.e. , the algebras of (wellfounded) H-terms over different variable supplies A, give rise to a monad with substitution as the extension operation (the free monad induced by the functor H). Moss [17] and Aczel, Adámek, Milius and Velebil [12] have shown that a similar monad, which even enjoys the additional special property of having iterations for all guarded substitution rules (complete...
Generic commutative separable algebras and cospans of graphs.
Glueing enriched modules and composition of automata
Heterogeneous monoid automata and admissible bisystems
Minimal realizations for finite sets in categorial automata theory
More on graphic toposes
On an equivalence of system-theoretical and categorical concepts
On classification, logical educational materials, categories, and automata