Ales Pultr - Department of Applied Mathematics and ITI, MFF, Charles University, Malostransk&#۰۳۹;e n&#۰۳۹;am. ۲۴, ۱۱۸۰۰ Praha ۱, Czech Republic.
Jorge Picado - CMUC, Department of Mathematics, University of Coimbra, Apar-ta-do ۳۰۰۸, ۳۰۰۱-۵۰۱ Coimbra, Portugal.

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.

frame, locale, sublocale, sublocale lattice, open sublocale, closed sublocale, localic map, preimage, Boolean frame, linear frame