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

Friday, June 18, 2021 11:30 - 11:56
Weakly globular double categories and weak units

Download this video (41M)



Other videos from this workshop