Birs- 21w5251: Tangent Categories and their Applications (Online)
-
Title: Syntax and Semantics of Differentiation
Speaker:
Link:
-
Title: The World of Differential Categories: A Tutorial on Cartesian Differential Categories
Speaker:
Link:
-
Title: The Faa Di Bruno Construction and Skew Enrichment
Speaker:
Link:
-
Title: Introduction to tangent categories
Speaker:
Link:
-
Title: An introduction to differential bundles
Speaker:
Link:
-
Title: Weil spaces, and the embedding theorem for tangent categories
Speaker:
Link:
-
Title: Differentiation in probabilistic coherence spaces
Speaker:
Link:
-
Title: Automatic differentiation in PCF
Speaker:
Link:
-
Title: From categorical models of differentiation to topologies in vector spaces.
Speaker:
Link:
-
Title: A groupoid of permutation trees (with applications to the Taylor expansion of λ-terms)
Speaker:
Link:
-
Title: An introduction to connections in tangent categories
Speaker:
Link:
-
Title: The free tangent category on an affine connection
Speaker:
Link:
-
Title: New tangent structures for Lie algebroids and Lie groupoids
Speaker:
Link:
-
Title: Functor calculus
Speaker:
Link:
-
Title: An example of a cartesian differential category from functor calculus
Speaker:
Link:
-
Title: The Nilpotence Tower
Speaker:
Link:
-
Title: Tangent Infinity Categories
Speaker:
Link:
-
Title: The (higher) topos classifying $\infty$ -connected objects
Speaker:
Link:
-
Title: Differential programming, probably
Speaker:
Link:
-
Title: (with Paul Wilson) Categorical Foundations of Gradient-Based Learning
Speaker:
Link: