About: Notes from Angelica Osrno's lecture that presented the problem of finding algebraic models for homotopy
types, described them for 1- and 2-types, and motivated Grothendieck's Homotopy Hypothesis. The talk was given during the
Graduate Student Topology Conference 2012 (University of Indiana, Bloomington).
About: Notes from Ieke Moerdijk's talk presenting a proof of the fact that a universal Kan fibration is univalent. The talk was
given during the workshop Mathematics: Algorithms and Proofs 2011
(Leiden, Netherlands).
About: Notes from Ieke Moerdijk's talk on model categories. The talk was given during the workshop
Mathematics: Algorithms and Proofs 2011 (Leiden,
Netherlands) and served as an introduction to the theory of model categories for a general mathematical audience.