Contributed Talks

Marco Abbadini (Catholic University of Louvain)
The Doctrinal Herbrand’s Theorem and Its Stone Dual
abstract

Igor Bakovic (Independent)
Comma 2-Comonad and Its Cousins
abstract

Luigi Caputi (University of Bologna)
Reachability Categories and Commuting Algebras of Quivers
abstract

Luca Carai (University of Milan)
On The Lack of Colimits in Various Categories of BAOs and Heyting Algebras
abstract

Nicola Carissimi (Université de Lille)
Overview and Examples of Braided Monoidal Bicategories
abstract

Elena Di Lavore (University of Oxford)
Program Logics Via Distributive Monoidal Categories
abstract

Andrea Giusto (Università di Genova)
Fibrations With Comprehension and Their Completions
abstract

Amar Hadzihasanovic (Tallinn University of Technology)
Semi-Strictification of ($\infty$, n)-Categories
abstract

Fosco Loregian (Tallinn University of Technology)
The Universal Property of The CoKleisli-Kleisli Adjunction
abstract

Tim Lüders (University of Vienna)
Higher Dagger Categories
abstract

Samuele Maschio (Università di Padova)
A Topos For Extended Weihrauch Degrees
abstract

Paolo Perrone (University of Oxford)
The Higher Structure of Martingales
abstract

Federica Piazza (Dipartimento di Matematica e Informatica, Università degli Studi di Palermo)
Towards A Notion of Coherent and Ideal Actions in Ideally Exact Contexts
abstract

Michele Riva (University of Manchester)
A Type Theory Beyond Animae
abstract

Umberto Tarantino (IRIF - Université Paris Cité)
Toposes With Enough Points As Categories of Étale Spaces
abstract

Giacomo Tendas (The University of Manchester)
A Syntax For Exists Unique Up To Isomorphism
abstract

Corentin Vienne (WBI)
Some Categorical Properties of Heyting Semilattices
abstract

Marco Volpe (University of Regensburg)
Approximate Fibrations in Higher Topos Theory
abstract

Posters

Guido Boccali (Tallinn University of Technology)
On The Essentially Algebraic 2-Theory Generated By A Type Theory
abstract

Eleftherios Chatzitheodoridis (University Of Virginia)
Models For Rational ($\infty$, 1)-Categories
abstract

Dennis Frieberg (Chapman University)
An Equivariant Model For Cubical Type Theory
abstract

Claudio Pisani
Unbiased Multicategories, Concretely
abstract

Ülo Reimaa (University Of Tartu (Estonia))
Improper Torsion Theories
abstract

Chiara Sava (Charles University)
$\infty$-Dold–Kan Correspondence Via Representation Theory
abstract