BEGIN:VCALENDAR VERSION:2.0 PRODID:researchseminars.org CALSCALE:GREGORIAN X-WR-CALNAME:researchseminars.org BEGIN:VEVENT SUMMARY:Emily Riehl (Johns Hopkins University) DTSTART:20200508T143000Z DTEND:20200508T160000Z DTSTAMP:20260422T212554Z UID:IsolatedInfinityCategories/1 DESCRIPTION:Title: ∞-category theory for undergraduates\nby Emily Ri ehl (Johns Hopkins University) as part of Ad Hoc meeting of the Johns Hopk ins Category Theory Seminar\n\n\nAbstract\nAt its current state of the art \, $\\infty$-category theory is challenging to explain even to specialists in closely related mathematical areas. Nevertheless\, historical experien ce suggests that in\, say\, a century’s time\, we will routinely teach t his material to undergraduates. This talk describes one dream about how th is might come about — under the assumption that 22nd century undergradua tes have absorbed the background intuitions of homotopy type theory/unival ent foundations. \n\nNote: This is a repeat of a talk given on May 1st in the Berkeley Logic Colloquium (http://logic.berkeley.edu/events.html) resc heduled for a time that is more convenient for other parts of the world.\n \nThe password for the zoom meeting is the surname of the person who coine d the phrase "univalent foundations" in all lower case. You can read about the history of univalent foundations on Wikipedia.\n LOCATION:https://researchseminars.org/talk/IsolatedInfinityCategories/1/ END:VEVENT END:VCALENDAR