algebra universalis

, Volume 8, Issue 1, pp 349-353

First online:

A universal mapping characterization of the completion by cuts

  • Alan A. BishopAffiliated withWestern Illinois University

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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.