Invited Talks

Marco Maggesi (Università di Firenze)
Categories and Bicategories in UniMath
abstractvideo

Fabio Zanasi (University College London)
Categorical Foundations of Machine Learning from Semantics to Verification
abstractvideo

Contributed Talks

Marco Abbadini (University of Salerno)
An approach `a la de Vries to compact Hausdorff spaces and closed relations
abstractvideo

Federico Campanini (Université catholique de Louvain)
Some recent results on pretorsion theories in lextensive categories
abstractvideo

Greta Coraglia (University of Genoa)
A fuzzy theory of types
abstractvideo

Sophie d’Espalungue (University of Lille)
Internal pseudomonoidal structures and Day convolution in monoidal 2-categories
abstractvideo

Francesco Dagnino (University of Genoa)
Relational doctrines, monads and lax algebras
abstractvideo

Ivan Di Liberti (Stockholm University)
The geometry of coherent topoi and ultrastructures
abstract

Pietro Freni (University of Leeds)
Summability in algebras of generalized power series and beyond
abstract

Andrea Gagna (Institute of Mathematics, Czech Academy of Sciences)
A categorical take on Steiner omega-categories
abstractvideo

Andrea Laretto (Tallinn University of Technology)
Categorical Semantics for Counterpart-based Temporal Logics in Agda
abstractvideo

Fosco Loregian (Tallinn University of Technology)
A few remarks of the fibration of algebras
abstractvideo

Luca Mesiti (University of Leeds)
Lax normal conical 2-limits and the Grothendieck construction
abstractvideo

Guglielmo Nocera (Université Paris Sorbonne Paris Nord)
The Exodromy Theorem
abstractvideo

Matteo Spadetto (University of Leeds)
A conservativity-like result for a propositional type theory
abstractvideo

Ruben van Belle (University of Edinburgh)
Radon-Nikodym derivates and martingales using category theory
abstractvideo