Video From 21w5251: Tangent Categories and their Applications (Online)
Lionel Vaux, Aix-Marseille University, France
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
Keyboard Shortcuts
Shortcuts Open/Close/ or ?
Play/PauseSPACE
Increase Volume↑
Decrease Volume↓
Seek Forward→
Seek Backward←
Captions On/Offc
Fullscreen/Exit Fullscreenf
Mute/Unmutem
Decrease Caption Size-
Increase Caption Size+ or =
Seek %0-9