Speaker | Title | Date |
---|---|---|
Norihido Yamada (Univ. do Minho) | Topology and topoi via internal groupoids | 2023-09-05 |
Nelson Martins-Ferreira (IP Leiria) | A new characterization of internal groupoids | 2023-05-30 |
Renato Neves (Univ. do Minho) | Higher-order quantitative equational theories | 2023-05-30 |
Vincenzo Fano (Univ. Urbino, Italy) | Logical pluralism | 2023-05-16 |
Graham Manuell (CMUC, Univ. Coimbra) | The localic groupoid classifying a geometric theory | 2023-04-26 |
Maria Manuel Clementino (CMUC, Univ. Coimbra) | The lax comma category Cat//X | 2023-04-26 |
Luca Reggio (University College London, UK) | Polyadic sets and unnatural isomorphisms | 2023-03-14 |
Joshua Wrigley (Università degli Studi dell'Insubria, Como, Italy) | When are there enough isomorphisms? Representing theories by groupoids of models | 2023-02-23 |
Dirk Hofmann (CIDMA, Univ. Aveiro) | Some aspects of enriched completely distributive lattices | 2023-01-24 |
Célia Borlido (CMUC, Univ. Coimbra) | Pervin spaces and Frith frames: bitopological aspects and completion | 2023-01-24 |