State-transition categories
Theory of fuzzy sets, etc. (03E72) Algebraic structures (08A99) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Embedding theorems, universal categories (18B15) General systems (93A10) Fuzzy sets and logic (in connection with information, communication, or circuits theory) (94D05)
Consider the state-transition system (S,X,\(\delta)\), with \(\delta\) : \(S\times X\to S\) (S a non-empty set, X the underlying set of a monoid) satisfying: \(\delta\) (s,-) is a homomorphism in the obvious sense. Associate to it the category \(C_{SX}\) whose set of objects is \({\mathcal P}(S)\), the power-set of S and where an arrow \(A\to B\) is the obvious restriction of \(\delta\) (-,x) to domain A and codomain B (A,B subsets of S). A necessary condition is given in functorial terms that a morphism of transition-systems be what one would expect. Then knowledge-functions are introduced and characterized in terms of the \(L_ 2\)-fuzzy category (in Goguen's sense) on \(C_{SX}\). There are also considerations of how to interpret 'universality' (universal elements?) in these terms.
- A categorical framework for finite state machines
- Category theoretical construction of the figure of states
- Enriched categories and models for spaces of evolving states
- scientific article; zbMATH DE number 792228
- A categorical representation of the state transition graph of finite cellular automata
- scientific article; zbMATH DE number 3884350
- Categorical equivalences from state-effect adjunctions
- State transitions as morphisms for complete lattices
- States as morphisms
- Statecharts, transition structures and transformations
- State transitions as morphisms for complete lattices
- Transition operators assigned to physical systems
- scientific article; zbMATH DE number 1361473 (Why is no real title available?)
- scientific article; zbMATH DE number 792228 (Why is no real title available?)
- A study of state machines through a functor
- Situated transition systems
- Fiber categories for describing dynamic production systems
- Enriched categories and models for spaces of evolving states
This page was built for publication: State-transition categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1058492)
