Please use this identifier to cite or link to this item: http://hdl.handle.net/10316/43954
Title: Localic maps constructed from open and closed parts
Authors: Picado, Jorge 
Pultr, Aleš 
Issue Date: 2017
Publisher: Shahid Beheshti University
Project: info:eu-repo/grantAgreement/FCT/5876/147205/PT 
Serial title, monograph or event: Categories and General Algebraic Structures with Applications
Volume: 6
Abstract: Assembling a localic map f:L→M from localic maps f_i:S_i→M, i∈J, defined on closed resp. open sublocales (J finite in the closed case) follows the same rules as in the classical case. The corresponding classical facts immediately follow from the behavior of preimages but for obvious reasons such a proof cannot be imitated in the point-free context. Instead, we present simple proofs based on categorical reasoning. There are some related aspects of localic preimages that are of interest, though. They are investigated in the second half of the paper.
URI: http://hdl.handle.net/10316/43954
Rights: openAccess
Appears in Collections:I&D CMUC - Artigos em Revistas Internacionais

Files in This Item:
File Description SizeFormat
LEGO(revised).pdf116.18 kBAdobe PDFView/Open
Show full item record

Page view(s)

84
checked on Dec 4, 2019

Download(s)

34
checked on Dec 4, 2019

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.