Some of the linked files of slides may be still unavailable.
¤ Invited Speakers
¤ Guest speaker at the special event on Wednesday, 23 June
¤ 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)
 MariaManuel Clementino,
On generalized multicategories
(slides)
 Robin Cockett,
A Brief Introduction to Turing Categories
(slides)
 Geoff Cruttwell,
Combinatorial Game Categories
(slides)
 Nicholas Duncan,
Toposes in SemiAlgebraic 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 tripostotopos 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 Nregimes in algebraic universes
(slides)
 Nick Gurski,
Iterating the icon construction
(slides)
 Dirk Hofmann,
Split structures in topology
(slides)
 Tamar Janelidze,
Relative modularity and semileftexact 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 LunaTorres,
Interior Operators and Topological Categories
(slides)
 Francisco Marmolejo,
Pseudomonads: no iteration version
(slides)
 Nelson MartinsFerreira,
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 SchreierMac 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)
 HansE. Porst,
Applications of the weightedlimittheorem 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 Cauchycompletion for quantaloidenriched 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 2Category 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 quantaleenriched categories
(slides)
 Simon Willerton,
Two 2traces
(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)
