Keynote Invited Speakers

• Mai Gehrke (LJAD, Université Côte d’Azur, Nice, France) Stone duality for logic with quantifiers

• Marino Gran (Université catholique de Louvain, Belgium) Pretorsion theories

• Nick Gurski (Case Western Reserve University, Cleveland, USA) Generality, repetition, and difference in 2-category theory

• Peter Johnstone (University of Cambridge, UK) The development of the notion of classifying topos

• Angus Macintyre (Queen Mary, University of London, UK) Models of PA and their Residue Rings CANCELLED

• Walter Tholen (York University, Toronto, Canada) Monoidal Topology: Advances and Challenges

Confirmed Plenary Presentations

• Marco Abadini - The opposite of the category of compact ordered spaces is monadic over the category of sets

• Jirí Adámek - Finitary Monads on Pos

• Mathieu Anel - An example of elementary infinity-topos

• Alessandro Ardizzoni - Monadic vs Adjoint Decomposition

• Nathanael Arkor - The formal theory of theories

• Steve Awodey- Univalence in infinity-topoi

• Lucrezia Bottegoni - Semi-separable functors

• Dominique Bourn - Congruence modular varieties and algebraic crystallography

• Benjamin M. Bumpus - Treewidth via Spined Categories

• Alexander Campbell - Joyal's cylinder conjecture

• Matteo Capucci - Parameterized Categories and Categories by Proxy

• Alan S. Cigoli - Fibred theory of obstruction and classification of morphisms

• Bryce Clarke - Three approaches to lenses over a base

• Francesco Dagnino - Graded Doctrines and Quantitative Equality

• Ivan Di Liberti - Enriched Locally Generated Categories

• Matthew Di Meglio - Polynomial functors and families parametrised by comonoids

• Eduardo J. Dubuc - Transfer of lax and pseudo functor structure

• Jacopo Emmeneger - A 2-comonad for elementary fibrations

• Bojana B. Femic - Enrichment and internalization in tricategories, the case of tensor categories and alternative notion to intercategories

• Jonas Frey - A refinement of Gabriel-Ulmer duality

• Richard Garner - Cartesian Closed Varieties

• Paul Großkopf - The Hopf category of Frobenius algebras

• Eli Hazel - Stone-type dualities from categorical first principles

• Chris Heunen - Sheaf representation of monoidal categories

• Matthias Hutzler - Gluing classifying toposes

• Pierre-Alain Jacqmin - On classes of morphisms behaving like surjections

• Martti Karvonen - Inner autoequivalences of monoidal categories

• Edoardo Lanari - Fibrations and lax limits of (oo,2)-categories.

• Peter LeFanu Lumsdaine - Makkai’s lost proof of the rule of countable choice

• Tom Leinster - The functoriality of the reflexive completion

• Gabriele Lobbia - Finitary Definitions of Multicategory

• Fosco Loregian - Differential 2-rigs

• Rory Lucyshyn-Wright - Algebraic dual adjunctions and bifold algebras: A biequivalence

• Yuki Maehara - Orientals as free weak omega-categories

• Graham R. Manuell - 2-dimensional bifunctor theorems

• Joe Moeller - Abstract Schur functors

• Anna Giulia Montaruli - Towards constructivising the Freyd–Mitchell Embedding Theorem

• Chad Nester - Functorial Semantics for Partial and Relational Theories

• Jovana Obradović - Minimal models for graphs-related operadic algebras

• Axel Osmond - Stable pseudofunctors, local right bi-adjoints and 2-geometries for topoi

• JS Pacaud Lemay - Tensor Restriction Categories

• Paolo Perrone - Kan extensions are partial colimits

• Dorette Pronk - Doubly Lax Colimits of Double Categories

• Emily Roff - Magnitude homology and iterated enrichment

• Jiří Rosický - Toward categorical continuous model theory

• Giacomo Tendas - Flat vs. filtered colimits

• Ruben Van Belle - Probability monads as codensity monads

• Joost Vercruysse - A lax-oplax monoidal setting to describe Hom-Hopf algebras

• Charles R. Walker - No-iteration pseudodistributive laws

• Marek Zawadowski - Duality for positive opetopes and tree complexes

Confirmed Short Video Presentations

• Sergei Burkin - Twisted arrow categories, operads and Segal conditions

• Pablo Bustillo Vazquez - Colimits in bicategories, fibrations, fractions and filteredness

• El Mehdi Cherradi - Every model category induces a derivator valued in double categories

• Tslil Clingman - Representation presentation: to present a representative, 2-representative theorem

• Redi Haderi - A simplicial category for higher correspondences

• Amar Hadzihasanovic - Diagrammatic sets and the smash product of monoidal theories

• Nick Hu - Formal category theory with Profunctor string diagrams

• Seerp R. Koudenburg - Yoneda embeddings in augmented virtual double categories

• Michael Lambert - Discrete Double Fibrations

• Daniel Luckhardt - Norms on categories

• Adrian Miranda - Decalage Comonads and Their Restrictions

• Sean Moss - Sequentiality and recursion in categories of sheaves

• Ming Ng - Adelic geometry via Topos Theory

• Orendain - Length of framed bicategories

• Jason Parker - Presentations and Algebraic Colimits of Enriched Monads

• Nima Rasekh - Fibrations of (oo,n)-Categories

• Paolo Saracco - Globalization for Geometric Partial Comodules

• Carlos Segovia - The classifying space of the 1+1 dimensional free G-cobordism category

• José V. Paiva Miranda de Siqueira - Tripos models of internal set theory

• Raffael Stenzel - ∞-Categorical Comprehension Schemes

• Jonathan Sterling - Normalization for Cubical Type Theory

• Anna Laura Suarez - Frith frames as pointfree Pervin spaces

• Andrew W. Swan - Some Remarks on Locally Representable Algebraic Weak Factorisation Systems

• Martin Szyld - Lifting PIE limits with strict projections

• Davide Trotta - Generalized existential completions, regular and exact completions

• William J. Zuluaga Botero - Coextensive varieties via Central Elements