Systems as Bimodules

  • E. S. Bainbridge
Part of the NATO Conference Series book series (NATOCS, volume 5)


In a monoidal category, one can give a definition of a monoid object. If X is a monoid, then an X-module is an object equipped with an action of X. A Y-X bimodule is an object with a left action of Y and a right action of X which commute.


Coherence Manes 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    E. S. Bainbridge, “Feedback and Generalized Logic,” Information and Control, 31, No. 1, May 1976, pp. 75–96.CrossRefGoogle Scholar
  2. 2.
    S. Ginsburg, “Some Remarks on Abstract Machines,” Transactions of the American Mathematical Society, 96, pp. 400–444, 1970.CrossRefGoogle Scholar
  3. 3.
    J. Béhabou, “Introduction to Bicategories,” In: Reports of the Midwest Category Seminar, Lecture Notes in Mathematics 47, Springer-Verlag, New York, pp. 1–77, 1967.Google Scholar
  4. 4.
    S. Alagic, “Categorical Theory of Tree Processing,” In: Category Theory Applied to Computation and Control, Edited by E. G. Manes, Lecture Notes in Computer Science, 25, Springer-Verlag, New York, pp. 65–72, 1975.CrossRefGoogle Scholar
  5. 5.
    J. W. Thatcher, “Generalized2 Sequential Machine Maps,” Journal of Computer and System Sciences, 4, pp. 339–367, 1970.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media New York 1978

Authors and Affiliations

  • E. S. Bainbridge
    • 1
  1. 1.Mathematics DepartmentUniversity of OttawaCanada

Personalised recommendations