Igor Bakovic (University of Osijek)
Formal enhanced category theory
abstract

Lucrezia Bottegoni (Politecnico of Turin, University of Turin)
Semi-separability and conditions up to retracts
abstract • slides • video

Cipriano Junior Cioffo (Università degli Studi di Milano)
Homotopy setoids and quotient completion
abstract • slides

Greta Coraglia (Università di Genova)
Context, judgement, deduction
abstract • slides • video

Francesco Dagnino (Università di Genova)
Doctrines, modalities and comonads
abstract

Ivan Di Liberti (Czech Academy of Sciences)
Givant, Morley, Zilber
abstract • video

Andrea Gagna (Institute of Mathematics, Czech Academy of Sciences)
Bilimits are bifinal objects
abstract • video

Marino Gran (Université catholique de Louvain)
Semi-abelian categories, Hopf algebras and internal groupoids
abstract • slides

Giulio Lo Monaco (Masaryk University)
Vopěnka’s principle in oo-categories
abstract • video

Antonio Lorenzin (Università di Pavia, Università di Milano-Bicocca)
Some developments on existence and uniqueness of DG-enhancements
abstract

Guglielmo Nocera (Scuola Normale Superiore di Pisa, Université de Strasbourg)
E_k-centers of monoidal infinity categories
abstract • slides

Daniele Palombi (Sapienza Università di Roma)
Escrows are optics
abstract

Emanuele Pavia (Università degli Studi di Milano)
t-structures on ∞-categories with an application to mixed graded complexes
abstract • slides

Morgan Rogers (Università degli Studi dell’Insubria)
Topological Semi-Galois Theory
abstract • slides

Matteo Spadetto (University of Leeds)
Dialectica completion and Goedel fibrations
abstract

Davide Trotta (Università di Pisa)
Applications of (weak) generalized existential completions to regular and exact Morita-equivalences
abstract

Joshua Liam Wrigley (Università degli Studi dell’Insubria)
A topos-theoretic perspective on properly discontinuous actions
abstract • video