Please use this identifier to cite or link to this item: http://hdl.handle.net/10316/43954
DC FieldValueLanguage
dc.contributor.authorPicado, Jorge-
dc.contributor.authorPultr, Aleš-
dc.date.accessioned2017-10-16T15:05:10Z-
dc.date.available2017-10-16T15:05:10Z-
dc.date.issued2017-
dc.identifier.urihttp://hdl.handle.net/10316/43954-
dc.description.abstractAssembling 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.por
dc.language.isoengpor
dc.publisherShahid Beheshti Universitypor
dc.relationinfo:eu-repo/grantAgreement/FCT/5876/147205/PTpor
dc.rightsopenAccesspor
dc.titleLocalic maps constructed from open and closed partspor
dc.typearticle-
degois.publication.firstPage21por
degois.publication.lastPage35por
degois.publication.titleCategories and General Algebraic Structures with Applicationspor
dc.relation.publisherversionhttp://www.cgasa.ir/article_15806.htmlpor
dc.peerreviewedyespor
degois.publication.volume6por
uc.controloAutoridadeSim-
item.fulltextCom Texto completo-
item.languageiso639-1en-
item.grantfulltextopen-
crisitem.author.deptFaculdade de Ciências e Tecnologia, Universidade de Coimbra-
crisitem.author.parentdeptUniversidade de Coimbra-
crisitem.author.researchunitCenter for Mathematics, University of Coimbra-
crisitem.author.orcid0000-0001-7837-1221-
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 simple item record

Page view(s)

115
checked on Aug 4, 2020

Download(s)

42
checked on Aug 4, 2020

Google ScholarTM

Check


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