A universal mapping characterization of the completion by cuts
- 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.