algebra universalis

, Volume 8, Issue 1, pp 349–353

A universal mapping characterization of the completion by cuts

  • Alan A. Bishop

DOI: 10.1007/BF02485405

Cite this article as:
Bishop, A.A. Algebra Universalis (1978) 8: 349. doi:10.1007/BF02485405


Closed maps of lattices are defined to be those satisfying the condition that the inverse image of closed ideals are closed ideas. Residuated maps are closed and closed maps are complete-join homomorphisms. The natural embeddingj of a lattice into its completion by cuts is a closed map. For every closed map ϕ from a latticeL into a complete latticeM, there exists a unique closed map φ* from the completion by cutsL intoM such that φ*j=φ. This characterizes the completion by cuts.

Copyright information

© Birkhäuser Verlag 1978

Authors and Affiliations

  • Alan A. Bishop
    • 1
  1. 1.Western Illinois UniversityMacombUSA