Operational Galois Adjunctions

  • Bob Coecke
  • David Moore
Part of the Fundamental Theories of Physics book series (FTPH, volume 111)


We present a detailed synthetic overview of the utilisation of categorical techniques in the study of order structures together with their applications in operational quantum theory. First, after reviewing the notion of residuation and its implementation at the level of quantaloids we consider some standard universal constructions and the extension of adjunctions to weak morphisms. Second, we present the categorical formulation of closure operators and introduce a hierarchy of contextual enrichments of the quantaloid of complete join lattices. Third, we briefly survey physical state-property duality and the categorical analysis of derived notions such as causal assignment and the propagation of properties.


Closure Operator Natural Transformation Category Theory Complete Lattice Coherence Condition 
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]
    AdAmek, J., Herrlich, H. and Strecker, G.E. (1990) Abstract and Concrete Categories, John Wiley and Sons, New York.zbMATHGoogle Scholar
  2. [2]
    Aerts, D. (1982) Description of many separated physical entities without the paradoxes encountered in quantum mechanics, Foundations of Physics 12, 1131–1170.MathSciNetADSCrossRefGoogle Scholar
  3. [3]
    Aerts, D. (1994) Quantum structures, separated physical entities and proba-bility, Foundations of Physics 24, 1227–1259.MathSciNetADSCrossRefGoogle Scholar
  4. [4]
    Amira, H., Coecke, B. and Stubbe, I. (1998) How quantales emerge by in-troducing induction within the operational approach, Helvetica Physica Acta 71, 554–572.MathSciNetzbMATHGoogle Scholar
  5. [5]
    Bennett, M.K. and Foulis, D.J. (1998) A generalized Sasaki projection for effect algebras, Tatra Mountains Mathematical Publications 15, 55–66.MathSciNetzbMATHGoogle Scholar
  6. [6]
    Blyth, T.S. and Janowitz, M.F. (1972) Residuation Theory, Pergamon Press, New York.zbMATHGoogle Scholar
  7. [7]
    Borceux, F. (1994) Handbook of Categorical Algebra, Cambridge University Press, Cambridge.CrossRefGoogle Scholar
  8. [8]
    Borceux, F. and Stubbe, I. (2000) Short introduction to enriched categories, This volume.Google Scholar
  9. [9]
    Coecke, B. (2000) Structural characterization of compoundness, International Journal of Theoretical Physics 39, To appear.Google Scholar
  10. [10]
    Coecke, B., Moore, D.J. and Stubbe, I. (2000) Quantaloids describing causation and propagation for physical properties, Journal of Pure and Applied Algebra, To appear.Google Scholar
  11. [11]
    Coecke, B. and Smets, S. (2000) Logical description for perfect measurements, International Journal of Theoretical Physics 39, To appear.Google Scholar
  12. [12]
    Coecke, B. and Stubbe, I. (1999a) On a duality of quantales emerging from an operational resolution, International Journal of Theoretical Physics 38, 3269–3281.MathSciNetzbMATHCrossRefGoogle Scholar
  13. [13]
    Coecke, B. and Stubbe, I. (1999b) Operational resolutions and state transi- tions in a categorical setting, Foundations of Physics Letters 12, 29–49.MathSciNetADSCrossRefGoogle Scholar
  14. [14]
    Coecke, B. and Stubbe, I. (2000) State transitions as morphisms for complete lattices, International Journal of Theoretical Physics 39, To appear.Google Scholar
  15. [15]
    Daniel, W. (1982) On a non-unitary evolution of quantum systems, Helvetica Physica Acta 55, 330–338.MathSciNetGoogle Scholar
  16. [16]
    Daniel, W. (1989) Axiomatic description of irreversible and reversible evolution of a physical system, Helvetica Physica Acta 62, 941–968.MathSciNetGoogle Scholar
  17. [17]
    Derdérian, J.-C. (1967) Residuated mappings, Pacific Journal of Mathematics 20, 35–43.MathSciNetzbMATHCrossRefGoogle Scholar
  18. [18]
    Faure, Cl.-A. (1994) Categories of closure spaces and corresponding lattices, Cahiers de Topologie et Géométrie Différentielle Catégoriques 35, 309–319.MathSciNetzbMATHGoogle Scholar
  19. [19]
    Faure, Cl.-A. and Frölicher, A. (1993) Morphisms of projective geometries and of corresponding lattices, Geometriae Dedicata 47, 25–40.MathSciNetzbMATHCrossRefGoogle Scholar
  20. [20]
    Faure, Cl.-A. and Frölicher, A. (1994) Morphisms of projective geometries and semilinear maps, Geometriae Dedicata 53, 237–269.MathSciNetzbMATHCrossRefGoogle Scholar
  21. [21]
    Faure, Cl.-A. and Frölicher, A. (1995) Dualities for infinite-dimensional projective geometries, Geometriae Dedicata 56, 225–236.MathSciNetzbMATHCrossRefGoogle Scholar
  22. [22]
    Faure, Cl.-A. and Frölicher, A. (1996) The dimension theorem in axiomatic geometry, Geometriae Dedicata 60, 207–218.MathSciNetzbMATHCrossRefGoogle Scholar
  23. [23]
    Faure, Cl.-A. and Frölicher, A. (1998) Categorical aspects in projective geometry, Applied Categorical Structures 6, 87–103.MathSciNetzbMATHCrossRefGoogle Scholar
  24. [24]
    Faure, Cl.-A., Moore, D.J. and Piron, C. (1995) Deterministic evolutions and Schrödinger flows, Helvetica Physica Acta 68, 150–157.MathSciNetzbMATHGoogle Scholar
  25. [25]
    Foulis, D.J. (1960) Baer *-semigroups, Proceedings of the American Mathematical Society 11, 648–654.MathSciNetzbMATHGoogle Scholar
  26. [26]
    Foulis, D.J. (1962) A note on orthomodular lattices, Portugaliae Mathematica 21, 65–72.MathSciNetzbMATHGoogle Scholar
  27. [27]
    Foulis, D.J. and Randall, C.H. (1971) Conditioning maps on orthomodular spaces, Glasgow Mathematical Journal 12, 35–42.MathSciNetzbMATHCrossRefGoogle Scholar
  28. [28]
    Foulis, D.J. and Randall, C.H. (1974) The stability of pure weights under conditioning, Glasgow Mathematical Journal 15, 5–12.MathSciNetzbMATHCrossRefGoogle Scholar
  29. [29]
    Frazer, P.J., Foulis, D.J. and Randall, C.H. (1980) Weight functions on exten-sions of the compound manual, Glasgow Mathematical Journal 21, 97–101.MathSciNetzbMATHGoogle Scholar
  30. [30]
    Jauch, J.M. and Piron, C. (1969) On the structure of quantal proposition systems, Helvetica Physica Acta 42, 842–848.MathSciNetzbMATHGoogle Scholar
  31. [31]
    Mac Lane, S. (1971) Categories for the Working Mathematician, Springer-Verlag, New York.zbMATHCrossRefGoogle Scholar
  32. [32]
    Moore, D.J. (1995) Categories of representations of physical systems, Hel-vetica Physica Acta 68, 658–678.zbMATHGoogle Scholar
  33. [33]
    Moore, D.J. (1997) Closure categories, International Journal of Theoretical Physics 36, 2707–2723.MathSciNetADSzbMATHCrossRefGoogle Scholar
  34. [34]
    Moore, D.J. (1999) On state spaces and property lattices, Studies in History and Philosophy of Modern Physics 30, 61–83.zbMATHCrossRefGoogle Scholar
  35. [35]
    Moore, D.J. (2000) Fundamental constructions in physics: A categorical ap-proach, International Journal of Theoretical Physics 39, To appear.Google Scholar
  36. [36]
    Paseka, J. and RosickY, J. (2000) Quantales, This volume.Google Scholar
  37. [37]
    Piron, C. (1964) Axiomatique quantique, Helvetica Physica Acta 37, 439–468.MathSciNetzbMATHGoogle Scholar
  38. [38]
    Piron, C. (1976) Foundations of Quantum Mechanics, W.A. Benjamin Inc., Reading.Google Scholar
  39. [39]
    Piron, C. (1990) Mécanique quantique bases et applications, Presses polytech-niques et universitaires romandes, Lausanne (Second corrected edition, 1998 ).zbMATHGoogle Scholar
  40. [40]
    Rosenthal, K.I. (1991) Free quantaloids, Journal of Pure and Applied Algebra 77, 67–82.CrossRefGoogle Scholar
  41. [41]
    Valckenborgh, F. (2000) Operational axiomatics and compound systems, This volume.Google Scholar
  42. [42]
    Wilce, A. (2000) Generalized Sasaki projections, International Journal of Theoretical Physics 39, To appear.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2000

Authors and Affiliations

  • Bob Coecke
    • 1
  • David Moore
    • 2
  1. 1.Department of MathematicsFree University of BrusselsBrusselsBelgium
  2. 2.Department of Theoretical PhysicsUniversity of GenevaGeneva 4Switzerland

Personalised recommendations