Speakers
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