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: Categorical structures in type theory, in type theory
Speaker:
Link:
-
Title: Cubical Sets Axiomatised in the Internal Type Theory of a Topos
Speaker:
Link:
-
Title: Cubical Type Theory: a constructive interpretation of the univalence axiom
Speaker:
Link:
-
Title: Why does Homotopy Type Theory matter?
Speaker:
Link:
-
Title: Asymptotic behavior of solutions to a nonlocal dffusion equation on manifolds
Speaker:
Link:
-
Title: Mini-course: Cubical Type Theory
Speaker:
Link:
-
Title: Boundary type GJMS operators
Speaker:
Link:
-
Title: Mini-course: Homotopy-theoretic models of type theory
Speaker:
Link:
-
Title: Lecture 3
Speaker:
Link:
-
Title: Maximizers for the kinetic energy inequalities
Speaker:
Link:
-
Title: A non-compactness result on the fractional Yamabe problem in large dimensions
Speaker:
Link:
-
Title: Mini-course: Cubical Type Theory
Speaker:
Link:
-
Title: The fractional Liouville equation in dimension 1 - Geometry, compactness and quantization
Speaker:
Link:
-
Title: Mini-course: Homotopy-theoretic models of type theory
Speaker:
Link:
-
Title: Complete Segal objects and univalent maps
Speaker:
Link: