Discrete-time machines in closed monoidal categories. I

DOI10.1016/S0022-0000(75)80012-2zbMath0303.18002OpenAlexW1998351225MaRDI QIDQ1216447

Joseph A. Goguen

Publication date: 1975

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-0000(75)80012-2

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categories of machines, automata (18B20)

Related Items

Algebraic representation of dynamics and behavior for continuous-time linear systems, Universal realization, An abstract cell model that describes the self-organization of cell function in living systems, Nondeterministic syntactic complexity, Discrete-time machines in closed monoidal categories. I, ON THE ADJOINT SITUATIONS BETWEEN BEHAVIOUR AND REALIZATION, Parallel realization of systems, using factorizations and quotients in categories, Epimorphisms of free monoids, Schützenberger Products in a Category, Object-oriented hybrid systems of coalgebras plus monoid actions, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Group-like structures in general categories. I. Multiplications and comultiplications
• Discrete-time machines in closed monoidal categories. I
• Automata theory and control theory - a rapprochement
• On the relevance of abstract algebra to control theory
• Algebraic structures in linear systems theory
• Coherence in closed categories
• A reflection theorem for closed categories
• Adjoint Functors
• Minimal realization of machines in closed categories
• Monomorphisms, Epimorphisms, and Pull-Backs
• Ho's algorithm, commutative diagrams, and the uniqueness of minimal linear systems
• Realization is universal