11:00 - 12:00 | The epimorphism game for completely regular frames | |
Richard N. Ball (Univ. of Denver, USA) | ||
12:00 - 12:30 | Cozero Complemented frames | |
Mack Matlabyana (Univ. of Limpopo, South Africa) | ||
12:30 - 13:00 | On a functional presentation of the Vietoris monad | |
Dirk Hofmann (Univ. of Aveiro) | ||
13:00 - 14:30 | Lunch Break | |
14:30 - 15:00 | Categories with involution-rigid monomorphisms | |
Nelson Martins-Ferreira (IP Leiria) | ||
15:00 - 15:30 | A criterion for reflectiveness of normal extension with an application to monoids | |
Andrea Montoli (CMUC) | ||
15:30 - 16:00 | Mal'tsev related properties for normal relations | |
Diana Rodelo (Univ. of Algarve and CMUC) | ||
16:00 - 16:30 | Coffee Break | |
16:30 - 17:00 | On étale effective descent morphisms in M-Ord | |
Pier Giorgio Basile (CMUC) | ||
17:00 - 17:45 | Normal and perfect locales | |
Jorge Picado (Univ. Coimbra and CMUC) | ||
Room 2.4, Mathematics Department, University of Coimbra |
Support: CMUC - Centro de Matemática da Universidade de Coimbra / FCT | |
DMUC - Departamento de Matemática da Universidade de Coimbra |