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

Tuesday, June 15, 2021 11:30 - 12:09
A groupoid of permutation trees (with applications to the Taylor expansion of λ-terms)
0 seconds of 0 secondsVolume 90%
Press shift question mark to access a list of keyboard shortcuts
00:00
00:00
00:00
 
This video file cannot be played.(Error Code: 224003)

Download this video (59M)



Other videos from this workshop