MINIMAL REALIZATION THEORY FOR TREE PROCESS MACHINES IN MONOIDAL CATEGORIES
نویسندگان
چکیده
منابع مشابه
Monoidal-Closed Categories of Tree Automata
We propose a realizability semantics for automata on infinite trees, based on categories of games built on usual simple games, and generalizing usual acceptance games of tree automata. Our approach can be summarized with the slogan “automata as objects, strategies as morphisms”. We show that the operations on tree automata used in the translations of MSOformulae to automata (underlying Rabin’s ...
متن کاملDescent in Monoidal Categories
We consider a symmetric monoidal closed category V = (V ,⊗, I, [−,−]) together with a regular injective object Q such that the functor [−, Q] : V → V op is comonadic and prove that in such a category, as in the monoidal category of abelian groups, a morphism of commutative monoids is an effective descent morphism for modules if and only if it is a pure monomorphism. Examples of this kind of mon...
متن کاملBL-general fuzzy automata and minimal realization: Based on the associated categories
The present paper is an attempt to study the minimal BL-general fuzzy automata which realizes the given fuzzy behavior. Of two methods applied for construction of such automaton presented here, one has been based on Myhill-Nerode's theory while the other has been based on derivatives of the given fuzzy behavior. Meanwhile, the categories of BL-general fuzzy automata and fuzzy behavior, along wi...
متن کاملTraces in Monoidal Categories
Abstract. This paper contains the construction, examples and properties of a trace and a trace pairing for certain morphisms in a monoidal category with switching isomorphisms. Our construction of the categorical trace is a common generalization of the trace for endomorphisms of dualizable objects in a balanced monoidal category and the trace of nuclear operators on a topological vector space w...
متن کاملSpace in Monoidal Categories
The category of Hilbert modules may be interpreted as a naive quantum field theory over a base space. Open subsets of the base space are recovered as idempotent subunits, which form a meet-semilattice in any firm braided monoidal category. There is an operation of restriction to an idempotent subunit: it is a graded monad on the category, and has the universal property of algebraic localisation...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics
سال: 1980
ISSN: 0373-6385
DOI: 10.2206/kyushumfs.34.71