This is a searchable repository of links to math videos. The database is regularly updated with videos from the following websites. If there is a source of videos which you would like to be added to this list, please send me an email at admin@videoarxiv.org.
All talks
-
Title:
Speaker:
Link:
-
Title: The (higher) topos classifying $\infty$ -connected objects
Speaker:
Link:
-
Title: Tangent Infinity Categories
Speaker:
Link:
-
Title: The Nilpotence Tower
Speaker:
Link:
-
Title: An example of a cartesian differential category from functor calculus
Speaker:
Link:
-
Title: Functor calculus
Speaker:
Link:
-
Title: New tangent structures for Lie algebroids and Lie groupoids
Speaker:
Link:
-
Title: The free tangent category on an affine connection
Speaker:
Link:
-
Title: An introduction to connections in tangent categories
Speaker:
Link:
-
Title: A groupoid of permutation trees (with applications to the Taylor expansion of λ-terms)
Speaker:
Link:
-
Title: From categorical models of differentiation to topologies in vector spaces.
Speaker:
Link:
-
Title: Automatic differentiation in PCF
Speaker:
Link:
-
Title: Differentiation in probabilistic coherence spaces
Speaker:
Link:
-
Title: Weil spaces, and the embedding theorem for tangent categories
Speaker:
Link:
-
Title: An introduction to differential bundles
Speaker:
Link: