A universal mapping characterization of the completion by cuts

  title={A universal mapping characterization of the completion by cuts},
  author={A. A. Bishop},
  journal={algebra universalis},
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. 
Fuzzy cut-stable map and its extension property
On weakly cut-stable maps
Tensor products for bounded posets revisited
Topological = total
On the Coextension of Cut-Continuous Pomonoids


A Universal Mapping Property for a Lattice Completion