<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE ArticleSet PUBLIC "-//NLM//DTD PubMed 2.7//EN" "https://dtd.nlm.nih.gov/ncbi/pubmed/in/PubMed.dtd">
<ArticleSet>
<Article>
<Journal>
				<PublisherName>Shahid Beheshti University</PublisherName>
				<JournalTitle>Categories and General Algebraic Structures with Applications</JournalTitle>
				<Issn>2345-5853</Issn>
				<Volume>6</Volume>
				<Issue>Speical Issue on the Occasion of Banaschewski&amp;#039;s 90th Birthday (I)</Issue>
				<PubDate PubStatus="epublish">
					<Year>2017</Year>
					<Month>01</Month>
					<Day>01</Day>
				</PubDate>
			</Journal>
<ArticleTitle>Localic maps constructed from open and closed parts</ArticleTitle>
<VernacularTitle></VernacularTitle>
			<FirstPage>21</FirstPage>
			<LastPage>35</LastPage>
			<ELocationID EIdType="pii">15806</ELocationID>
			
			
			<Language>EN</Language>
<AuthorList>
<Author>
					<FirstName>Ales</FirstName>
					<LastName>Pultr</LastName>
<Affiliation>Department of Applied Mathematics and ITI, MFF, Charles University, Malostransk&amp;#039;e n&amp;#039;am. 24, 11800 Praha 1, Czech Republic.</Affiliation>

</Author>
<Author>
					<FirstName>Jorge</FirstName>
					<LastName>Picado</LastName>
<Affiliation>CMUC, Department of Mathematics, University of Coimbra, Apar\-ta\-do 3008, 3001-501 Coimbra, Portugal.</Affiliation>
<Identifier Source="ORCID">0000-0001-7837-1221</Identifier>

</Author>
</AuthorList>
				<PublicationType>Journal Article</PublicationType>
			<History>
				<PubDate PubStatus="received">
					<Year>2016</Year>
					<Month>05</Month>
					<Day>02</Day>
				</PubDate>
			</History>
		<Abstract>Assembling a localic map $f\colon L\to M$ from localic maps $f_i\colon S_i\to M$, $i\in 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.</Abstract>
		<ObjectList>
			<Object Type="keyword">
			<Param Name="value">frame</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">locale</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">sublocale</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">sublocale lattice</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">open sublocale</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">closed sublocale</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">localic map</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">preimage</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">Boolean frame</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">linear frame</Param>
			</Object>
		</ObjectList>
<ArchiveCopySource DocType="pdf">https://cgasa.sbu.ac.ir/article_15806_520a4a78c0a273d6505cc3970f556450.pdf</ArchiveCopySource>
</Article>
</ArticleSet>
