Discrete-time machines in closed monoidal categories. I
- 1 February 1975
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 10 (1) , 1-43
- https://doi.org/10.1016/s0022-0000(75)80012-2
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Realization is universalTheory of Computing Systems, 1972
- Minimal realization of machines in closed categoriesBulletin of the American Mathematical Society, 1972
- Coherence in closed categoriesJournal of Pure and Applied Algebra, 1971
- Algebraic structures in linear systems theoryJournal of Computer and System Sciences, 1970
- On the relevance of abstract algebra to control theoryAutomatica, 1969
- Monomorphisms, Epimorphisms, and Pull-BacksJournal of the Australian Mathematical Society, 1969
- Ho's algorithm, commutative diagrams, and the uniqueness of minimal linear systemsInformation and Control, 1967
- Automata theory and control theory—A rapprochementAutomatica, 1966
- Group-like structures in general categories I multiplications and comultiplicationsMathematische Annalen, 1962
- Adjoint functorsTransactions of the American Mathematical Society, 1958