Centre for Mathematics, University of Coimbra

<Reference List>
Type:	Preprint
National /International:	International
Title:	A unified view of the Dedekind completion of pointfree function rings
Publication Date:	2015-10-30
Authors:	- Javier Gutiérrez García - Imanol Mozo Carollo - Jorge Picado
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 extent.
Institution:	DMUC 15-46
Online version:	http://www.mat.uc.pt...prints/eng_2015.html
Download:	Not available