| 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 |