Video From 21w5251: Tangent Categories and their Applications (Online)

Monday, June 14, 2021 10:16 - 11:01
The World of Differential Categories: A Tutorial on Cartesian Differential Categories

Download this video (67M)



Other videos from this workshop