Abstract
In this work I present a condensed, but self-contained review of the categorical formulation of order structures, and the induced equivalence of the categories of closure spaces and complete atomistic lattices.
Similar content being viewed by others
References
Adámek, J., Herrlich, H., and Strecker, G. E. (1990).Abstract and Concrete Categories, Wiley, New York.
Aerts, D. (1982). Description of many separated physical entities without the paradoxes encountered in quantum mechanics,Foundations of Physics,12, 1131–1170.
Alderton, I. W. (1985). Cartesian closedness and the MacNeille completion of an initially structured category.Quaestiones Mathematicae,8, 63–78.
Alderton, I. W. (1986). Initial completions of monotopological categories, and cartesian closedness,Quaestiones Mathematicae,8, 361–379.
Baer, R. M. (1959). On closure operators.Archives of Mathematics,10, 261–266.
Banaschewski, B., and Bruns, G. (1967). Categorical characterization of the MacNeille completion,Archives of Mathematics,18, 369–377.
Barr, M., and Wells, C. (1985).Toposes, Triples and Theories, Springer-Verlag, New York.
Borceux, F. (1994).Handbook of Categorical Algebra, Cambridge University Press, Cambridge.
Cagliari, F., and Cicchese, M. (1983). Epireflective subcategories and semiclosure operators,Quaestiones Mathematicae,6, 295–301.
Čech, E. (1937). On bicompactspaces,Annals of Mathematics,38, 823–844.
Dikranjan, D., and Giuli, E. (1987). Closure operators,Topology and Its Applications,27, 129–143.
Dikranjan, D., and Tholen, W. (1995).Categorical Structure of Closure Operators, Kluwer, Dordrecht.
Eilenberg, S., and Mac Lane, S. (1945). General theory of natural equivalences.Transactions AMS,58, 231–294.
Eilenberg, S., and Moore, J. C. (1965). Adjoint functors and triples,Illinois Journal of Mathematics,9, 381–398.
Everett, C. J. (1944). Closure operators and Galois theory in lattices,Transactions AMS,55, 514–525.
Faure, Cl.-A. (1994). Categories of closure spaces and corresponding lattices,Cahiers de Topologie et Geometrie Differentialle Categoriques,35, 309–319.
Faure, Cl.-A., and Frölicher, A. (1993). Morphisms of projective geometries and of corresponding lattices,Geometriae Dedicata,47, 25–40.
Faure, Cl.-A., and Frölicher, A. (1994). Morphisms of projective geometries and semilinear maps,Geometriae Dedicata,53, 937–969.
Faure, Cl.-A., and Frölicher, A. (1995). Dualities for infinite-dimensional projective geometries,Geometriae Dedicata,56, 225–236.
Faure, Cl.-A., and Frölicher, A. (1996). The dimension theorem in axiomatic geometry.Geometriae Dedicata,66, 207–218.
Faure, Cl.-A., Moore, D. J., and Piron, C. (1995). Deterministic evolutions and Schrödinger flows,Helvetica Physica Acta,68, 150–157.
Foulis, D. J. (1960). Baer*-semigroups,Proceedings AMS,11, 648–654.
Godement, R. (1957).Théorie des faisceaux, Hermann, Paris.
Gudder, S. P., and Michel, J. R. (1981). Representations of Baer*-semigroups,Proceedings AMS,81, 157–163.
Herrlich, H. (1976). Initial completions,Mathematische Zeitschrif,150, 101–110.
Hertz, P. (1922). Über Axiomensysteme für beliebige Satzsysteme. I,Mathematische Annalen,87, 246–269.
Huber, P. J. (1961). Homotopy theory in general categories,Mathematische Annalen,144, 361–385.
Kleisli, H. (1965). Every standard construction is induced by a pair of adjoint functors.Proceedings AMS,16, 544–546.
Kuratowski, C. (1922). Sur l'opération\(\bar A\) de l'Analyse Situs,Fundamenta Mathematicae,3, 182–199.
Mac Lane, S. (1971).Categories for the Working Mathematician, Springer-Verlag, New York.
MacNeille, H. M. (1937). Partially ordered sets,Transactions AMS,42, 416–460.
Monteiro, A., and Ribeiro, H. (1942). L'opération de fermeture et ses invariants dans les systèmes partiellement ordonnés,Portugaliae Mathematica,3, 171–183.
Moore, D. J. (1995). Categories of representations of physical systems.Helvetica Physica Acta,68, 658–678.
Moore, E. H. (1909). On a form of general analysis, with applications to linear differential and integral equations, inAtti del IV Congress. Internationale dei Matematici (Roma, 6–11 Aprile 1908) [reprinted Kraus, Nendeln (1967)].
Ore, O. (1943a). Some studies on closure relations,Duke Mathematical Journal,10, 761–785.
Ore, O. (1943b). Combinations of closure relations,Annals of Mathematics,44, 514–533.
Piron, C. (1976).Foundations of Quantum Physics, Benjamin, Reading, Massachusetts.
Piron, C. (1990).Mécanique quantique bases et applications, Presses polytechniques et universitaires Romandes, Lausanne, Switzerland.
Piron, C. (1995). Morphisms, hemimorphisms and Baer*-semigroups.International Journal of Theoretical Physics,34, 1681–1687.
Pool, J. C. T. (1968a). Baer*-semigroups and the logic of quantum mechanics,Communications in Mathematical Physics,9, 118–141.
Pool, J. C. T. (1968b). Semimodularity and the logic of quantum mechanics,Communications in Mathematical Physics,9, 212–228.
Riesz, F. (1909). Stetigkeitsbegriff une abstrakte Mengenlehre, inAtti del IV Congress. Internazional dei Matematici (Roma, 6–11 Aprile 1908) [reprint Kraus, Nedeln (1967)].
Riguet, J. (1948). Relations binaires, fermetures, correspondence de Galois,Bulletin de la Société Mathématique de France,76, 114–155.
Rütimann, G. T. (1975). Decomposition of projections on orthomodular lattices,Canadian Mathematical Bulletin,18, 263–267.
Tarski, A. (1929). Remarques sur les notions fondamentales de la méthodologie des mathématique,Annales de la Société Polonaise de Mathématique,7, 270–272.
Ward, M. (1942). The closure operators of a lattice,Annals of Mathematics,43, 191–196.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Moore, D.J. Closure categories. Int J Theor Phys 36, 2707–2723 (1997). https://doi.org/10.1007/BF02435707
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02435707