¤ Invited Speakers

• Olivia Caramello, The unification of Mathematics via Topos Theory (slides)
• George Janelidze, Advances in semi-abelian categorical algebra (slides)
• André Joyal, The Newton product of chain complexes (slides)
• Matias Menni, The Hopf algebra of Möbius intervals (slides)
• Mark Weber, Lax monoidal categories and higher operad (slides)

¤ Guest speaker at the special event on Wednesday, 23 June

• Andrée Ehresmann, From analysis to living systems through category land (slides)

¤ Contributed talks

• Nate Ackerman, The number of countable models of a sentence of L_ω1,ω in a Grothendieck topos (slides)
• Jiri Adamek, Relatively Terminal Coalgebras (slides)
• Ana Agore, Categorical methods for Hopf algebra theory (slides)
• Andrei Akhvlediani, Composing Lawvere theories (slides)
• Luca Albergante, Duality between data and process: an enriched categorical point of view (slides)
• Steve Awodey, Type theory and homotopy: Some recent developments (slides)
• Michael Batanin, Higher braided operads and stabilisation hypothesis (slides)
• Clemens Berger, The nerve theorem and Grothendieck's hypothesis on homotopy types (slides)
• David Blanc, On higher homotopy operations and higher categories (slides)
• Tom Booker, Torsors, herds and flocks (slides)
• Dominique Bourn, Centralizer and faithful groupoid (slides)
• Ronnie Brown, Some strict higher homotopy groupoids: intuitions, examples, applications, prospects (slides)
• Elisabeth Burroni, Revisiting Differential Calculus in the light of an Uncanny Function (slides)
• Eugenia Cheng, The universal loop space operad and generalisations (slides)
• Alan Stefano Cigoli, Action accessibility and centralizers (slides)
• Maria-Manuel Clementino, On generalized multicategories (slides)
• Robin Cockett, A Brief Introduction to Turing Categories (slides)
• Geoff Cruttwell, Combinatorial Game Categories (slides)
• Nicholas Duncan, Toposes in Semi-Algebraic Geometry (slides)
• Jeff Egger, Coherent families of Hermitian adjunctions (slides)
• Thomas M. Fiore, Euler Characteristics of Categories (slides)
• Jonas Frey, A double categorical analysis of the tripos-to-topos construction (slides)
• Emmanuel Galatoulas, Monoidal quantaloids as a framework for a (bi)categorical Quantum Mechanics (slides)
• Richard Garner, Lax aspects of abstract homotopy theory (slides)
• Julia Goedecke, Higher extensions and the relative Kan property (slides)
• Ramon Gonzalez Rodriguez, Weak Crossed Biproducts (slides)
• James Gray, Pullback functors between points, and internal homology and cohomology (slides)
• Rene Guitart, Structures as N-regimes in algebraic universes (slides)
• Nick Gurski, Iterating the icon construction (slides)
• Dirk Hofmann, Split structures in topology (slides)
• Tamar Janelidze, Relative modularity and semi-left-exact reflections (slides)
• Panagis Karazeris, Characterization of reflective subcategories of presheaves whose reflection preserves finite products (slides)
• Toby Kenney, Generalised Span Constructions (slides)
• Joachim Kock, Categorification of Hopf algebras of rooted trees (slides)
• Steve Lack, Hopf monads (slides)
• Francois Lamarche, Axioms and Models for Concrete Homotopy (slides)
• Raul Leal, Coalgebras, Monads and Dynamic Modalities (slides)
• Tom Leinster, Magnitude and diversity: how an invariant from category theory solves a problem in mathematical ecology (slides)
• Ignacio Lopez Franco, Hopf algebra generalisations (slides)
• Peter LeFanu Lumsdaine, Higher Categorical Structures from Intensional Type Theory (slides)
• Joaquín Luna-Torres, Interior Operators and Topological Categories (slides)
• Francisco Marmolejo, Pseudomonads: no iteration version (slides)
• Nelson Martins-Ferreira, On naturally Mal'tsev, Mal'tsev and weakly Mal'tsev categories (slides)
• Micah Blake McCurdy, Enrichment inherits cyclicity, but does not inherit symmetry (slides)
• Gigel Militaru, Four problems regarding representable functors (slides)
• Jose Reinaldo Montanez Puentes, The Notion of Topological topos (slides)
• Andrea Montoli, A Schreier-Mac Lane extension theorem in action accessible categories (slides)
• Susan Niefield, The Glueing Construction and Double Categories (slides)
• Novak Novakovic, Classical Logic and Frobenius Algebras (slides)
• Arnold Oostra, Connective completeness in topoi (slides)
• David Oury, On the duality between trees and disks (slides)
• Daniela Petrisan, Algebraic Theories over Nominal Sets (slides)
• Claudio Pisani, On some laws relating left and right actions (slides)
• Hans-E. Porst, Applications of the weighted-limit-theorem to Hopf algebra theory (slides)
• Dorette Pronk, Equivariant Homotopy Theory for Representable Orbifolds (slides)
• Emily Riehl, Algebraic model structures (slides)
• Diana Rodelo, Goursat categories and the 3×3 Lemma (slides)
• Jiri Rosicky, Enriched weakness (slides)
• Peter Schuster, The Unique Solution Property (slides)
• Kruna Segrt, Strong functors and monads (slides)
• Peter Selinger, Autonomous categories in which A is isomorphic to A* (slides)
• Richard Steiner, The algebra of complicial sets (slides)
• Isar Stubbe, Symmetry and Cauchy-completion for quantaloid-enriched categories (slides)
• Stanislaw Szawiel, The Web Monoid and Opetopic Sets (slides)
• Paul Taylor, Equideductive categories and their logic (slides)
• Tim Van der Linden, Relative commutator theory and the associator of loops (slides)
• Dominic Verity, On the 2-Category Theory of Quasicategories (slides)
• Steven Vickers, An induction principle for implications in arithmetic universes (slides)
• Robert F.C. Walters, Weighted automata (slides)
• Pawel Waszkiewicz, Approximation in quantale-enriched categories (slides)
• Simon Willerton, Two 2-traces (slides)
• Richard J. Wood, Completely and Totally Distributive Categories (slides)
• Joao Xarez, Admissibility, stable units and connected components (slides)
• Fernando Zalamea, Categorical Models for Intuitionistic Existential Graphs (slides)
• Marek Zawadowski, Representing multicategories as monads (slides)