Invited Talks

Marco Maggesi (Università di Firenze)
Categories and Bicategories in UniMath
abstract • video

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

Contributed Talks

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

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

Greta Coraglia (University of Genoa)
A fuzzy theory of types
abstract • video

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

Francesco Dagnino (University of Genoa)
Relational doctrines, monads and lax algebras
abstract • video

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
abstract • video

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

Fosco Loregian (Tallinn University of Technology)
A few remarks of the fibration of algebras
abstract • video

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

Guglielmo Nocera (Université Paris Sorbonne Paris Nord)
The Exodromy Theorem
abstract • video

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

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