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.


Monoidal Category Deterministic System Left Action Minimal Realization Identity Edge 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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