|  | Ramón Abud Alcalá | Comodules for coalgebroids | Slides | 
|  | Jiří Adámek | Reflective subcategories of locally presentable categories |  | 
|  | Tom Avery | Codensity and the Giry monad | Slides | 
|  | John Bourke | Skew structures in 2-category theory and homotopy theory | Slides | 
| 5 | Dominique Bourn | Partial Mal’tsevness and category of quandles | Slides | 
|  | Ronald Brown | A philosophy of modelling and computing homotopy types | Slides | 
|  | Dimitri Chikhladze | Another perspective on skew monoidal structures | Slides | 
|  | Robin Cockett | Itegories | Slides | 
|  | Geoff Cruttwell | The Jacobi identity for tangent categories | Slides | 
| 10 | Matěj Dostál | Two-dimensional Birkhoff’s theorem |  | 
|  | M. Duckerts-Antoine | A classification theorem for normal extensions | Slides | 
|  | Kadir Emir | Pointed homotopy of 2-crossed module maps and groupoid structure | Slides | 
|  | Valérian Even | Central extensions and closure operators in the category of quandles | Slides | 
|  | Marcelo Fiore | Theory of para-toposes |  | 
| 15 | R. González Rodríguez | Equivalences and iterations for weak crossed products | Slides | 
|  | Nino Guallart | A comparison between ITT and CoC | Slides | 
|  | Nick Gurski | Distributive laws for quasicategories |  | 
|  | George Janelidze | Exponentiable homomorphisms of algebras |  | 
|  | Zurab Janelidze | On a symmetric proof of the non-abelian snake lemma |  | 
| 20 | Michael Johnson | Symmetrizing categories of lenses |  | 
|  | Peter Johnstone | Functoriality of modified realizability |  | 
|  | André Joyal | Witt vectors and the James construction |  | 
|  | Seerp R. Koudenburg | Yoneda embeddings in double categories | Slides | 
|  | Steve Lack | Multiplier bimonoids, multiplier bicomonads, and comonads in a simplicial set |  | 
| 25 | Tom Leinster | The reflexive completion | Slides | 
|  | Poon Leung | The free tangent structure | Slides | 
|  | Guilherme F. Lima | Site characterisations for local geometric morphisms | Slides | 
|  | Ignacio López Franco | Aspects of lax orthogonal factorisation systems |  | 
|  | Zhen Lin Low | Generalising the functor of points approach | Slides | 
| 30 | Fernando Lucatelli | Kan extensions and descent theory | Slides | 
|  | Rory Lucyshyn-Wright | A general theory of measure and distribution monads
founded on the notion of commutant of a subtheory |  | 
|  | Nelson Martins-Ferreira | Categories with 2-cell structures and their internal pseudocategories |  | 
|  | Yoshihiro Maruyama | Higher-order categorical substructural logics | Slides | 
|  | Matías Menni | An 'algebraic' model of a bidirectional Euler continuum | Slides | 
| 35 | Giuseppe Metere | Aspects of strong protomodularity, actions and quotients | Slides | 
|  | J.R. Montañez Puentes | Some topoi generated by topological spaces | Slides | 
|  | Andrea Montoli | On the “Smith is Huq” condition in S-protomodular categories | Slides | 
|  | Sean Moss | Another approach to the Kan-Quillen model structure | Slides | 
|  | Paige North | Weak factorization systems for intensional type theory |  | 
| 40 | Jovana Obradovic | On the various definitions of cyclic operads | Slides | 
|  | Robert Paré | Skolem relations and profunctors | Slides | 
|  | Eduardo Pareja-Tobes | Dagger category theory |  | 
|  | Darllan C. Pinto | An abstract approach to Glivenko’s theorem | Slides | 
|  | Matan Prasma | The Grothendieck construction for model categories | Slides | 
| 45 | Emily Riehl | Virtual equipments for ∞-categories |  | 
|  | Jiří Rosický | Classification theory for accessible categories | Slides | 
|  | Giuseppe Rosolini | Exact completions as homotopical quotients | Slides | 
|  | Christian Sattler | Initial algebras for dependent from plain polynomial functors in quasicategories |  | 
|  | Paul Slevin | Cyclic homology arising from adjunctions |  | 
| 50 | Sergejs Solovjovs | On monoidal (co)nuclei and their applications | Slides | 
|  | Lurdes Sousa | Categories of “lax fractions” | Slides | 
|  | Karen Van Opdenbosch | Regularity for relational algebras and the case of approach spaces | Slides | 
|  | Dominic Verity | The calculus of modules for ∞-categories |  | 
|  | Mark Weber | Internal algebra classifiers as codescent objects of crossed internal categories |  | 
| 55 | David White | Bousfield localization and algebras over colored operads |  | 
|  | Richard Wood | Waves and total distributivity | Slides | 
|  | Marek Zawadowski | Fibrations of polynomial and analytic functors and monads | Slides | 
|  | Dan Christensen | A characterization of univalent fibrations | Slides |