Monday, 10th of July 2023
10:00 Anthony Agwu (J. Hopkins) — On the Effective Topos
11:00 Nadja Egner (UCLouvain) — Mal’tsev categories and internal groupoids
11:45 Alvaro Belmonte (J. Hopkins) — An ∞-cosmos for ∞-operads
14:15 Sina Hazratpour (J. Hopkins) — A 2-categorical proof of Frobenius for structured fibrations defined from a generic point
15:30 David Forsman (UCLouvain) — Functors of Variance and Naturality
16:15 Corentin Vienne (UCLouvain) — A glance at semi-abelian categories
Participants
Anthony Agwu |
Johns Hopkins University |
Alvaro Belmonte |
Johns Hopkins University |
Marius Berthoumieux |
Ecole Normale Supérieure |
Federico Campanini |
Université catholique de Louvain |
Tim Campion Johns |
Johns Hopkins University |
Maxime Culot |
Université catholique de Louvain |
Jacques Darné |
Université catholique de Louvain |
Bo Shan Deval |
Université catholique de Louvain |
Arnaud Duvieusart |
Università degli Studi di Milano |
Nadja Egner |
Université catholique de Louvain |
David Forsman |
Université catholique de Louvain |
Marino Gran |
Université catholique de Louvain |
Rodrigue Haya Enriquez |
Université catholique de Louvain |
Sina Hazratpour |
Johns Hopkins University |
Alina Kuiper |
Johns Hopkins University |
Sébastien Mattenet |
Université Catholique de Louvain |
Aline Michel |
Université catholique de Louvain |
Julia Ramos Gonzalez |
Université catholique de Louvain |
Sanjiv Ranchod |
University of Cambridge |
Emily Riehl |
Johns Hopkins University |
Maru Sarazola |
Johns Hopkins University |
Corentin Vienne |
Université catholique de Louvain |
Jonathan Weinberger |
Johns Hopkins University |
This conference is supported by the Hoover Foundation for the development of UCLouvain and of KULeuven.