11:00-12:00
|
On exactness properties preserved under
pro-completions of finitely complete categories, and why this is
useful
Zurab Janelidze (University of Stellenbosch, South Africa) |
12:00-12:30
|
Finite product preservation for reflections into
idempotent subvarieties
Isabel Xarez |
| 12:30-14:00 |
Lunch (Colégio de Jesus) |
14:00-14:30
|
Effective descent morphisms in categories of lax
algebras
Pier Giorgio Basile (CMUC, Universidade de Coimbra) |
14:30-15:00
|
Limits in categories of Vietoris coalgebras
Pedro Nora (CIDMA, Universidade de Aveiro) |
15:00-15:30
|
A topoi characterization of Godel internediate
logics
Pedro Filipe (Instituto Superior Técnico, Lisboa) |
15:30-16:00
|
Epireflective subcategories and formal closure
operators
Mathieu Duckerts-Antoine (CMUC, Universidade de Coimbra) |
| 16:00-16:30 |
Coffee-break |
16:30-17:00
|
Freely generated n-categories and coinserters
Fernando Lucatelli Nunes (CMUC, Universidade de Coimbra) |
17:00-17:30
|
Functoriality and topos representations for
quantales of coverable groupoids
Juan Pablo Quijano (Instituto Superior Técnico, Lisboa) |
17:30-18:00
|
Open maps of involutive quantales
Pedro Resende (CAMGSD, Instituto Superior Técnico, Lisboa) |