Machines in a category
type: Item
instance of: scholarly article
title: Machines in a category
zbMATH Open document ID: 0441.18010
DOI: 10.1016/0022-4049(80)90090-0
author: Michael A. Arbib
author: Ernest G. Manes
published in: Journal of Pure and Applied Algebra
publication date: 1980-01-01T00:00:00Z
full work available at URL: https://zenodo.org/record/3941318
Mathematics Subject Classification ID: 18B20
Mathematics Subject Classification ID: 18-03
Mathematics Subject Classification ID: 93C25
zbMATH DE Number: 3687593
zbMATH Keywords: machines in a category
zbMATH Keywords: sequential machines
zbMATH Keywords: control systems
zbMATH Keywords: dynamical interpretation functor
zbMATH Keywords: reachability map
zbMATH Keywords: Krull-Schmidt theorem
zbMATH Keywords: parallel decomposition for machines with polynomial state-transition
zbMATH Keywords: Hankel matrix
MaRDI profile type: Publication
OpenAlex ID: W2080543706
cites work: A Common Framework for Automata Theory and Control Theory
cites work: Coproducts and decomposable machines
cites work: Algebra automata I: Parallel programming as a prolegomena to the categorical approach
cites work: Machines in a Category: An Expository Introduction
cites work: Foundations of system theory: Decomposable systems
cites work: Adjoint machines, state-behavior machines, and duality
cites work: Q3049836
cites work: Q4063607
cites work: Intertwined recursion, tree transformations and linear systems
cites work: On the relevance of abstract algebra to control theory
cites work: Q4092994
cites work: Coequalizers and free triples
cites work: Finite group homomorphic sequential system
cites work: Q4137326
cites work: Q5515373
cites work: Tree acceptors and some of their applications
cites work: Free monoids
cites work: Q4041460
cites work: Q5639638
cites work: Q4079524
cites work: Q4132170
cites work: Automata in general algebras
cites work: Un codage non commutatif pour certains systmes chantillonns non linaires
cites work: Q5599866
cites work: Categories of semimodules: The categorical structural properties of transition systems
cites work: Minimal realization of machines in closed categories
cites work: On coverings of universal algebras
cites work: Q5613964
cites work: Some Remarks Concerning Categories and Subspaces
cites work: Direct construction of minimal bilinear realizations from nonlinear input-output maps
cites work: Mathematical Description of Linear Dynamical Systems
cites work: Q5610025
cites work: Q5638871
cites work: On an algebraic theory of systems defined by convolution operators
cites work: Q3853827
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: Groups, Categories and Duality
cites work: Q4740705
cites work: On linear systems and noncommutative rings
cites work: On discrete-time polynomial systems
cites work: Generalized finite automata theory with an application to a decision problem of second-order logic
cites work: Q3525854
cites work: Ho's algorithm, commutative diagrams, and the uniqueness of minimal linear systems
description: scientific article; zbMATH DE number 3687593