Path:  Home   >  The LEGO of localic maps
The LEGO of localic maps

Assembling a localic map f : L → M from localic maps fi : Si → 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 presented in the second half of the talk.

Joint work with Ales Pultr (Prague).

Date:  2016-05-17
Start Time:   14:30
Speaker:  Jorge Picado (CMUC, Univ. Coimbra)
Institution:  Univ. Coimbra, CMUC
Place:  Room 5.5
Research Groups: -Algebra, Logic and Topology
See more:   <Main>  
© 2012 Centre for Mathematics, University of Coimbra, funded by

Science and Technology Foundation

Powered by: rdOnWeb v1.4 | technical support