Category theory applied to computation and control: proceedings of the first international symposium, San Francisco, February 25-26, 1974
Springer-Verlag, 1975 - Computers - 245 pages
Presents the results of a symposium which brought together scientists interested in applying modern algebraic techniques to problems in control & computer science.
What people are saying - Write a review
We haven't found any reviews in the usual places.
0 Anderson A control theorist looks
A Arbib and E G Manes A categorists view
23 other sections not shown
Other editions - View all
abstract adjoint machines algebraic theory Applied to Computation Arbib and E. G. automata theory automaton Berlin cartesian closed categories Category Theory Category Theory Applied closed categories Comp complete lattices composition Computation and Control Computer Science construction coproducts defined DEFINITION denoted diagram duality Dyn(X E. G. Manes epimorphism equation equivalence example finite forgetful functor free monoid function fuzzy given homomorphism IEEE input process input/output International Symposium isomorphism J. A. Goguen language lattice Lecture Notes left adjoint linear dynamical systems linear systems M. A. Arbib map f Math minimal realization module monad monoidal category morphism f natural transformation object operator output problem Proc Proceedings program schemes R. E. Kalman reachable realization theory recursive right adjoint ring S-module scattering theory semantics sequence sequential machines space Springer-Verlag structure subcategory subset system design System Theory tensor Theorem topological tree unique Univ University