Tangent Categories and their Applications (Online)

Videos from BIRS Workshop

, University of Ottawa
- 10:08
Syntax and Semantics of Differentiation
Watch video | Download video: 202106140915-Blute.mp4 (154M)
, Mount Allison University
- 11:01
The World of Differential Categories: A Tutorial on Cartesian Differential Categories
Watch video | Download video: 202106141016-Lemay.mp4 (67M)
, University of Calgary
- 12:10
The Faa Di Bruno Construction and Skew Enrichment
Watch video | Download video: 202106141115-Cockett.mp4 (79M)
, Mount Allison University
- 15:56
Introduction to tangent categories
Watch video | Download video: 202106141506-Cruttwell.mp4 (72M)
, University of Calgary
- 16:54
An introduction to differential bundles
Watch video | Download video: 202106141600-MacAdam.mp4 (86M)
, Macquarie University
- 17:53
Weil spaces, and the embedding theorem for tangent categories
Watch video | Download video: 202106141658-Garner.mp4 (61M)
, CNRS and Université de Paris
- 09:39
Differentiation in probabilistic coherence spaces
Watch video | Download video: 202106150900-Ehrhard.mp4 (52M)
, IRIF Paris France
- 10:18
Automatic differentiation in PCF
Watch video | Download video: 202106150945-Pagani.mp4 (46M)
, LIPN, CNRS, Université Sorbonne Paris Nord
- 11:16
From categorical models of differentiation to topologies in vector spaces.
Watch video | Download video: 202106151030-Kerjean.mp4 (64M)
, Aix-Marseille University, France
- 12:09
A groupoid of permutation trees (with applications to the Taylor expansion of λ-terms)
Watch video | Download video: 202106151130-Vaux.mp4 (59M)
, Brandon University
- 15:55
An introduction to connections in tangent categories
Watch video | Download video: 202106151500-Lucyshyn-Wright.mp4 (76M)
, Macquarie University
- 16:50
The free tangent category on an affine connection
Watch video | Download video: 202106151600-Garner.mp4 (69M)
, University of Calgary
- 17:55
New tangent structures for Lie algebroids and Lie groupoids
Watch video | Download video: 202106151700-MacAdam.mp4 (95M)
, Brown University
- 09:55
Functor calculus
Watch video | Download video: 202106160900-Goodwillie.mp4 (120M)
, Union College
- 10:56
An example of a cartesian differential category from functor calculus
Watch video | Download video: 202106161003-Johnson.mp4 (141M)
, University of Cambridge
- 11:55
The Nilpotence Tower
Watch video | Download video: 202106161100-Finster.mp4 (68M)
, University of Calgary
- 15:55
Tangent Infinity Categories
Watch video | Download video: 202106161500-Bauer.mp4 (144M)
, Université du Québec à Montréal
- 17:54
The (higher) topos classifying $\infty$ -connected objects
Watch video | Download video: 202106161703-Joyal.mp4 (69M)
, Dalhousie University
- 09:56
Differential programming, probably
Watch video | Download video: 202106170901-Gallagher.mp4 (82M)
, University of Strathclyde
- 10:55
(with Paul Wilson) Categorical Foundations of Gradient-Based Learning
Watch video | Download video: 202106171000-Gavranovic.mp4 (137M)
, Huawei Research
- 11:53
Soundness for automatic differentiation via string diagrams
Watch video | Download video: 202106171100-Alvarez-Picallo.mp4 (68M)
, Dalhousie University
- 15:26
Exponentials and Enrichment for Orbispaces
Watch video | Download video: 202106171500-Pronk.mp4 (48M)
, Union College
- 15:55
Linear Bicategories: Quantales and Quantaloids
Watch video | Download video: 202106171530-Niefield.mp4 (35M)
, University of Ottawa
- 16:53
Causality, interventions and counterfactuals in Structural Causal Models
Watch video | Download video: 202106171630-Fortier-Garceau.mp4 (34M)
, University of Calgary
- 17:29
Exponential modalities and complementarity
Watch video | Download video: 202106171700-Srinivasan.mp4 (42M)
, University of Cape Town
- 10:25
Frobenius-Eilenberg-Moore objects in dagger 2-categories
Watch video | Download video: 202106181008-Poklewski-Koziell.mp4 (25M)
, Reykjavik University
- 10:59
Monad-comonad interaction laws (co)algebraically
Watch video | Download video: 202106181030-Uustalu.mp4 (39M)
, University of Birmingham
- 11:27
Bifibrations of polycategories and MLL
Watch video | Download video: 202106181100-Blanco.mp4 (35M)
, Leicester University
- 11:56
Weakly globular double categories and weak units
Watch video | Download video: 202106181130-Paoli.mp4 (41M)
, Tallinn university of technology
- 13:22
Concurrent Material Histories
Watch video | Download video: 202106181300-Nester.mp4 (29M)
, University of Oxford
- 13:52
A graphical calculus for Lagrangian relations
Watch video | Download video: 202106181329-Comfort.mp4 (35M)
, University of Edinburgh
- 14:21
Localization of monads via subunits
Watch video | Download video: 202106181400-Dicaire.mp4 (34M)
, Mount Allison University
- 14:52
Linearizing Combinators
Watch video | Download video: 202106181430-Lemay.mp4 (29M)
, University of Calgary
- 15:21
Divided power algebras with derivation
Watch video | Download video: 202106181501-Ikonicoff.mp4 (32M)