Scott Morrison at Formalization of Cohomology Theories

Video From 23w5124: Formalization of Cohomology Theories

Scott Morrison,

Tuesday, May 23, 2023 09:00 - 10:00

Scott Morrison, Video: Scott Morrison at Formalization of Cohomology Theories

Scott Morrison, Formalization of Cohomology Theories, BIRS, BIRS talk, 23w5124, math, mathematics, video

Banff International Research Station

presentation

mpeg4

126M

http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos

http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305230900-Morrison.html