Programme
Talks will be in the Centre for Mathematical Sciences. You can find all locations for the conference on the map under "Practicalities".
| Sunday 29th June |
|---|
| 18:00-19:00 | Welcome reception in the University Centre
|
| Monday 30th June |
|---|
| 09:15-10:15 | Hyland | Constructing Hyperdoctrines: Towards a Model Theory of Type Theory |
| 10:25-10:55 | Awodey | Natural Models of Homotopy Type Theory |
| 11:00-11:30 | Coffee break |
| 11:30-12:00 | Adámek | Generalized Eilenberg Theorem |
| 12:05-12:35 | Verity | The Formal Theory of (∞,1)-Categories |
| 12:40-14:00 | Lunch |
| 14:00-14:30 | G. Janelidze | Non-Pointed Exactness and ‘2-Dimensional’ Approach to Radicals and Commutators |
| 14:35-15:05 | Berger | Central Reflections and Nilpotency in Exact Mal'cev Categories |
| 15:10-15:40 | Gran | Semi-Localizations of Semi-Abelian Categories |
| 15:45-16:15 | Coffee break |
| 16:15-16:45 | Cockett | Abstract Differential Geometry |
| 16:50-17:20 | Cruttwell | Structures in Tangent Categories |
| 17:25-17:55 | Frey | A Characterization of Realizability Toposes |
| Drinks reception |
| Tuesday 1st July |
|---|
| 09:00-10:00 | Kock | Decomposition Spaces, Incidence Algebras and Möbius Inversion |
| 10:10-10:40 | Hofstra | Isotropy Quotients of Toposes |
| 10:45-11:15 | Coffee break |
| 11:15-11:45 | Menni | Internal Choice Holds in the Discrete Part of any Cohesive Topos |
| 11:50-12:20 | Lawvere | New Results on Cohesive Toposes |
| 12:25-14:00 | Lunch |
| 14:00-14:30 (parallel) |
Fiore | Lie Structure and Composition |
| Van der Linden | The Co-Smash Product as an Intrinsic Tensor Product |
| Buckley | Parity Complexes and Formal Verification in Coq |
| 14:35-15:05 (parallel) |
Gutiérrez | On Autoequivalences of the (∞,1)-Category of ∞-Operads |
| Karazeris | Classical Flatness, Additive and Non-Additive |
| Hines | Decision Procedures for the Commutativity of Canonical Diagrams |
| 15:10-15:40 (parallel) |
Pisani | Sequential Multicategories |
| Metere | Peiffer Commutator and Peiffer Product of Pre-Crossed B-Modules in the Semi-Abelian Context |
| Lucyshyn-Wright | Models of Synthetic Differential Geometry Associated to Codifferential Categories |
| 15:45-16:15 | Coffee break |
| 16:15-16:45 (parallel) |
Vasilakopoulou | Enriched Fibration |
| Martins Ferreira | New Wide Classes of Weakly Mal'tsev Categories |
| Reich | Obvious Natural Morphisms of Sheaves are Unique |
| 16:50-17:20 (parallel) |
Kissinger | Finite Matrices are Complete for (Dagger) Multigraph Categories |
| Z. Janelidze | Subobject Chasing Revisited |
| Henry | A Topos Theoretic Modular Time Evolution |
| 17:25-17:55 (parallel) |
Xarez | Some Results on the Preservation of Finite Limits for Reflections of Varieties of Universal Algebra |
| Montoli | Monoids and pointed S-protomodular categories |
| Russo | Morita-equivalences for MV-algebras |
| Wednesday 2nd July |
|---|
| 09:00-10:00 | Van Oosten | More on Geometric Morphisms between Realizability Toposes |
| 10:10-10:40 | Van den Berg | The Herbrand Topos |
| 10:45-11:15 | Coffee break |
| 11:15-11:45 | Gambino | On the Bicategory of Symmetric Operads and Analytic Functors |
| 11:50-12:20 | Zawadowski | Opetopic Sets with Degeneracies |
| 12:25-14:30 | Lunch and poster session |
| 14:30-15:00 | Townsend | Geometric Morphisms as Structure Preserving Maps |
| 15:05-15:35 | Rosický | Towards Categorical Model Theory |
| 15:40-16:10 | Tholen | Concordant and Monotone Maps in Extensive Categories |
| 16:15-16:45 | Coffee break |
| 16:45-17:15 | López Franco | Quasi Hopf Monads |
| 17:20-17:50 | Schäppi | Geometric Tensor Categories |
| 17:55-18:25 | Ara | A Quillen's Theorem A for Strict n-Categories |
| Thursday 3rd July |
|---|
| 09:00-10:00 | Osorno | Categorical Models for Stable Homotopy Types |
| 10:10-10:40 | Tierney | Classifying Fiber Bundles with Fiber K(π ,1) |
| 10:45-11:15 | Coffee break |
| 11:15-11:45 | Street | Combinatorial Categorical Equivalences |
| 11:50-12:20 | Paré | Intercategories |
| 12:25-12:55 | Paoli | Segal-Type Algebraic Models of n-Types |
| Excursion |
| Friday 4th July |
|---|
| 09:00-10:00 | Clementino | Lax Orthogonal Factorisation Systems |
| 10:10-10:40 | Niefield | Continuity, Projectivity, and Coexponentiability for Commutative Quantales |
| 10:45-11:15 | Coffee break |
| 11:15-11:45 | Rosolini | Frames as Equilogical Spaces |
| 11:50-12:20 | Leinster | The Categorical Origins of Lebesgue Integration |
| 12:25-14:00 | Lunch |
| 14:00-14:30 (parallel) |
Gurski | Postnikov Data for Picard Categories |
| Calvo-Cervera | Cohomological Classication of (Braided) Monoidal Groupoids |
| Low | The Heart of a Combinatorial Model Category |
| 14:35-15:05 (parallel) |
Ching | Classification of Polynomial Functors in Stable Homotopy Theory |
| Andrianopoulos | Units of Skew Monoidal Categories and Skew Monoidales in Span |
| North | Moore Factorization Systems |
| 15:10-15:40 (parallel) |
Corner | Tensoring Braided Strict Monoidal Categories |
| Diaz | Categorification of Phase Space |
| Maschio | Models of Intuitionistic Set Theory in Subtoposes of Nested Realizability Toposes |
| 15:45-16:15 | Coffee break |
| 16:15-16:45 (parallel) |
Vickers | Geometric Constructions Preserving Fibrations |
| Marmolejo | Cohesive Cover of a Pre-Cohesive Geometric Morphism |
| Hofmann | Some Notes on Esakia Spaces |
| 16:50-17:20 (parallel) |
Penon | Une Classe d'Exemples d'Infinies-Catégories Faibles au Sens de Batanin |
| Jenča | Effect Algebras and the Kalmbach Monad |
| Leung | The Free Tangent Structure |
| 17:25-17:55 (parallel) |
Elgueta | Permutation 2-Groups |
| Mahmoudi | Free and Cofree Acts of Dcpo-Monoids on Directed Complete Posets |
| Burke | Synthetic Lie Theory |
| Conference dinner |
| Saturday 5th July |
|---|
| 09:00-10:00 | Lack | The Operadic Categories of Batanin and Markl |
| 10:10-10:40 | Cheng | Iterating Path Spaces |
| 10:45-11:15 | Coffee break |
| 11:15-11:45 | Porst | Contrasting Ulmer's Preprint on Bialgebras with the Weighted Limit Theorem |
| 11:50-12:20 | Garner | The Isbell Monad |
| 12:25-12:55 | Moerdijk | The lfc Grothendieck Topology |
Participants might be interested in the 'Kan Extension Seminar' organized by Emily Riehl, which will take place 14:00-18:00 on Sunday 29th June in the Winstanley Lecture Theatre, Trinity College.
