Recording of a lecture delivered by Matt Linck on January 18, 2019, as part of the Formal Lecture Series.
