Loading [MathJax]/extensions/TeX/boldsymbol.js

Schedule for: 21w5251 - Tangent Categories and their Applications (Online)

Beginning on Monday, June 14 and ending Friday June 18, 2021

All times in Banff, Alberta time, MDT (UTC-6).

Monday, June 14
08:45 - 09:00 Introduction and Welcome by BIRS Staff (Online)
09:00 - 09:05 Group Photo (Online)
09:05 - 09:15 Welcome and introduction to the workshop (Online)
09:15 - 10:00 Rick Blute: Syntax and Semantics of Differentiation (Online)
10:15 - 11:00 Jean-Simon Lemay: The World of Differential Categories: A Tutorial on Cartesian Differential Categories (Online)
11:15 - 12:00 Robin Cockett: The Faa Di Bruno Construction and Skew Enrichment (Online)
15:00 - 15:05 Group Photo (Online)
15:05 - 15:50 Geoffrey Cruttwell: Introduction to tangent categories (Online)
16:00 - 16:45 Ben MacAdam: An introduction to differential bundles (Online)
17:00 - 17:45 Richard Garner: Weil spaces, and the embedding theorem for tangent categories (Online)
Tuesday, June 15
09:00 - 09:30 Thomas Ehrhard: Differentiation in probabilistic coherence spaces (Online)
09:45 - 10:15 Michele Pagani: Automatic differentiation in PCF (Online)
10:30 - 11:15 Marie Kerjean: From categorical models of differentiation to topologies in vector spaces. (Online)
11:30 - 12:00 Lionel Vaux: A groupoid of permutation trees (with applications to the Taylor expansion of λ-terms) (Online)
12:45 - 13:45 Gather Town Discussion: An open book on tangent categories (Online)
15:00 - 15:45 Rory Lucyshyn-Wright: An introduction to connections in tangent categories (Online)
16:00 - 16:45 Richard Garner: The free tangent category on an affine connection (Online)
17:00 - 17:45 Ben MacAdam: New tangent structures for Lie algebroids and Lie groupoids (Online)
Wednesday, June 16
09:00 - 09:45 Tom Goodwillie: Functor calculus (Online)
10:00 - 10:45 Brenda Johnson: An example of a cartesian differential category from functor calculus (Online)
11:00 - 11:45 Eric Finster: The Nilpotence Tower (Online)
13:00 - 13:45 Gather Town Discussion: Differential and/or tangent categories and non-commutative geometry (Online)
15:00 - 15:45 Kristine Bauer: Tangent Infinity Categories (Online)
16:00 - 16:45 Michael Ching: Dual tangent structures for infinity-toposes (Online)
17:00 - 17:45 André Joyal: The (higher) topos classifying \infty -connected objects (Online)
Thursday, June 17
09:00 - 09:45 Jonathan Gallagher: Differential programming, probably (Online)
10:00 - 10:45 Bruno Gavranovic: (with Paul Wilson) Categorical Foundations of Gradient-Based Learning (Online)
11:00 - 11:45 Mario Alvarez-Picallo: Soundness for automatic differentiation via string diagrams (Online)
12:00 - 12:15 MITACS Presentation (Online)
13:00 - 13:45 Gather Town Discussion (tentative): Generalized Weil modules and degree n functors (Online)
15:00 - 15:20 Dorette Pronk: Exponentials and Enrichment for Orbispaces (Online)
15:30 - 15:50 Susan Niefield: Linear Bicategories: Quantales and Quantaloids (Online)
16:00 - 16:20 Bryce Clarke: Lenses as algebras for a monad (Cancelled) (Online)
16:30 - 16:50 Simon Fortier-Garceau: Causality, interventions and counterfactuals in Structural Causal Models (Online)
17:00 - 17:20 Priyaa Srinivasan: Exponential modalities and complementarity (Online)
Friday, June 18
09:00 - 09:20 Anders Kock: Barycentric calculus, and the log-exp bijection (Online)
09:30 - 09:50 Kadri Ilker Berktav: Higher structures in physics (Online)
10:00 - 10:20 Rowan Poklewski-Koziell: Frobenius-Eilenberg-Moore objects in dagger 2-categories (Online)
10:30 - 10:50 Tarmo Uustalu: Monad-comonad interaction laws (co)algebraically (Online)
11:00 - 11:20 Nicolas Blanco: Bifibrations of polycategories and MLL (Online)
11:30 - 11:50 Simona Paoli: Weakly globular double categories and weak units (Online)
13:00 - 13:20 Chad Nester: Concurrent Material Histories (Online)
13:30 - 13:50 Cole Comfort: A graphical calculus for Lagrangian relations (Online)
14:00 - 14:20 Nuiok Dicaire: Localization of monads via subunits (Online)
14:30 - 14:50 Jean-Simon Lemay: Linearizing Combinators (Online)
15:00 - 15:20 Sacha Ikonicoff: Divided power algebras with derivation (Online)