Skip to main content

Addressed machines and duality

  • Submitted Abstract
  • Conference paper
  • First Online:
Category Theory Applied to Computation and Control

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 25))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ARBIB, M.A. and ZEIGER, H.P. "An Automata-Theoretic Approach to Linear Systems" IFAC Symposium, Sydney Australia, August 1968.

    Google Scholar 

  2. BAINBRIDGE, E.S. "A Unified Minimal Realization Theory, with Duality". Dissertation, Department of Computer & Communication Sciences, University of Michigan, 1972.

    Google Scholar 

  3. DUBUC, E.J. Kan Extensions in Enriched Category Theory, Lecture Notes in Mathematics #145, Springer-Verlag, New York 1970.

    MATH  Google Scholar 

  4. GIVE'ON, Y. and ARBIB, M.A. "Algebra Automata II: The Categorical Framework for Dynamic Analysis" Information and Control, 12, pp. 346–310, 1968.

    Article  MathSciNet  Google Scholar 

  5. GRILLET, P.A. "Regular Categories", in Exact Categories and Categories of Sheaves, Lecture Notes in Mathematics #236, Springer-Verlag, New York 1971.

    Google Scholar 

  6. KALMAN, R.E. "Algebraic Theory of Linear Systems", in Topics in Mathematical System Theory. edited by R.E. Kalman, M.A. Arbib, and P.L. Falb. McGraw-Hill, 1969.

    Google Scholar 

  7. LAWVERE, F.W. "Functorial Semantics of Algebra Theories", Proc. Nat. Acad. Sci., U.S.A., 50, pp. 869–872, 1963.

    Article  MathSciNet  Google Scholar 

  8. MACLANE, S. Categories for the Working Mathematician, Springer-Verlag, New York, 1971.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Ernest Gene Manes

Rights and permissions

Reprints and permissions

Copyright information

© 1975 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bainbridge, E.S. (1975). Addressed machines and duality. In: Manes, E.G. (eds) Category Theory Applied to Computation and Control. Lecture Notes in Computer Science, vol 25. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07142-3_66

Download citation

  • DOI: https://doi.org/10.1007/3-540-07142-3_66

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07142-6

  • Online ISBN: 978-3-540-37426-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics