A unified view of the Dedekind completion of pointfree function rings

Article

A unified view of the Dedekind completion of pointfree function rings

Published in: Quaestiones Mathematicae
Volume 39 , issue 7 , 2016 , pages: 991–1003
DOI: 10.2989/16073606.2016.1241959
Author(s): Javier Gutiérrez García Department of Mathematics, Spain , Imanol Mozo Carollo Department of Mathematics, Spain , Jorge Picado CMUC, Department of Mathematics, Portugal

Abstract

We provide the appropriate unifying framework for the various descriptions of the Dedekind completion of the ring C(L) of continuous real functions on a frame L. It is based on suitable Galois connections and a general result about Galois connections, showing once more the ubiquity of (Galois) adjunctions between partially ordered sets and their conceptual simplicity and effectiveness.

Get new issue alerts for Quaestiones Mathematicae