Tangent Categories and their Applications (Online)
Videos from BIRS Workshop
Rick Blute, University of Ottawa
Monday Jun 14, 2021 09:15 - 10:08
Syntax and Semantics of Differentiation
Jean-Simon Lemay, Mount Allison University
Monday Jun 14, 2021 10:16 - 11:01
The World of Differential Categories: A Tutorial on Cartesian Differential Categories
Robin Cockett, University of Calgary
Monday Jun 14, 2021 11:15 - 12:10
The Faa Di Bruno Construction and Skew Enrichment
Geoffrey Cruttwell, Mount Allison University
Monday Jun 14, 2021 15:06 - 15:56
Introduction to tangent categories
Ben MacAdam, University of Calgary
Monday Jun 14, 2021 16:00 - 16:54
An introduction to differential bundles
Richard Garner, Macquarie University
Monday Jun 14, 2021 16:58 - 17:53
Weil spaces, and the embedding theorem for tangent categories
Thomas Ehrhard, CNRS and Université de Paris
Tuesday Jun 15, 2021 09:00 - 09:39
Differentiation in probabilistic coherence spaces
Michele Pagani, IRIF Paris France
Tuesday Jun 15, 2021 09:45 - 10:18
Automatic differentiation in PCF
Marie Kerjean, LIPN, CNRS, Université Sorbonne Paris Nord
Tuesday Jun 15, 2021 10:30 - 11:16
From categorical models of differentiation to topologies in vector spaces.
Lionel Vaux, Aix-Marseille University, France
Tuesday Jun 15, 2021 11:30 - 12:09
A groupoid of permutation trees (with applications to the Taylor expansion of λ-terms)
Rory Lucyshyn-Wright, Brandon University
Tuesday Jun 15, 2021 15:00 - 15:55
An introduction to connections in tangent categories
Richard Garner, Macquarie University
Tuesday Jun 15, 2021 16:00 - 16:50
The free tangent category on an affine connection
Ben MacAdam, University of Calgary
Tuesday Jun 15, 2021 17:00 - 17:55
New tangent structures for Lie algebroids and Lie groupoids
Tom Goodwillie, Brown University
Wednesday Jun 16, 2021 09:00 - 09:55
Functor calculus
Brenda Johnson, Union College
Wednesday Jun 16, 2021 10:03 - 10:56
An example of a cartesian differential category from functor calculus
Eric Finster, University of Cambridge
Wednesday Jun 16, 2021 11:00 - 11:55
The Nilpotence Tower
Kristine Bauer, University of Calgary
Wednesday Jun 16, 2021 15:00 - 15:55
Tangent Infinity Categories
André Joyal, Université du Québec à Montréal
Wednesday Jun 16, 2021 17:03 - 17:54
The (higher) topos classifying $\infty$ -connected objects
Jonathan Gallagher, Dalhousie University
Thursday Jun 17, 2021 09:01 - 09:56
Differential programming, probably
Bruno Gavranovic, University of Strathclyde
Thursday Jun 17, 2021 10:00 - 10:55
(with Paul Wilson) Categorical Foundations of Gradient-Based Learning
Mario Alvarez-Picallo, Huawei Research
Thursday Jun 17, 2021 11:00 - 11:53
Soundness for automatic differentiation via string diagrams
Dorette Pronk, Dalhousie University
Thursday Jun 17, 2021 15:00 - 15:26
Exponentials and Enrichment for Orbispaces
Susan Niefield, Union College
Thursday Jun 17, 2021 15:30 - 15:55
Linear Bicategories: Quantales and Quantaloids
Simon Fortier-Garceau, University of Ottawa
Thursday Jun 17, 2021 16:30 - 16:53
Causality, interventions and counterfactuals in Structural Causal Models
Priyaa Srinivasan, University of Calgary
Thursday Jun 17, 2021 17:00 - 17:29
Exponential modalities and complementarity
Rowan Poklewski-Koziell, University of Cape Town
Friday Jun 18, 2021 10:08 - 10:25
Frobenius-Eilenberg-Moore objects in dagger 2-categories
Tarmo Uustalu, Reykjavik University
Friday Jun 18, 2021 10:30 - 10:59
Monad-comonad interaction laws (co)algebraically
Nicolas Blanco, University of Birmingham
Friday Jun 18, 2021 11:00 - 11:27
Bifibrations of polycategories and MLL
Simona Paoli, Leicester University
Friday Jun 18, 2021 11:30 - 11:56
Weakly globular double categories and weak units
Chad Nester, Tallinn university of technology
Friday Jun 18, 2021 13:00 - 13:22
Concurrent Material Histories
Cole Comfort, University of Oxford
Friday Jun 18, 2021 13:29 - 13:52
A graphical calculus for Lagrangian relations
Nuiok Dicaire, University of Edinburgh
Friday Jun 18, 2021 14:00 - 14:21
Localization of monads via subunits
Jean-Simon Lemay, Mount Allison University
Friday Jun 18, 2021 14:30 - 14:52
Linearizing Combinators
Sacha Ikonicoff, University of Calgary
Friday Jun 18, 2021 15:01 - 15:21
Divided power algebras with derivation
