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)
Lionel Vaux, Video: A groupoid of permutation trees (with applications to the Taylor expansion of λ-terms)
Lionel Vaux, Video: A groupoid of permutation trees (with applications to the Taylor expansion of λ-terms)
Lionel Vaux, A groupoid of permutation trees (with applications to the Taylor expansion of λ-terms), Tangent Categories and their Applications (Online), BIRS, BIRS talk, 21w5251, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
59M
http://www.birs.ca/events/2021/5-day-workshops/21w5251/videos
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