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:20260404T095208Z UID:IsolatedInfinityCategories/1 DESCRIPTION:Title: ∞-category theory for undergraduates\nby E mily Riehl (Johns Hopkins University) as part of Ad Hoc meeting of the Joh ns Hopkins Category Theory Seminar\n\n\nAbstract\nAt its current state of the art\, $\\infty$-category theory is challenging to explain even to spec ialists in closely related mathematical areas. Nevertheless\, historical e xperience suggests that in\, say\, a century’s time\, we will routinely teach this material to undergraduates. This talk describes one dream about how this might come about — under the assumption that 22nd century unde rgraduates have absorbed the background intuitions of homotopy type theory /univalent foundations. \n\nNote: This is a repeat of a talk given on May 1st in the Berkeley Logic Colloquium (http://logic.berkeley.edu/events.htm l) rescheduled for a time that is more convenient for other parts of the w orld.\n\nThe password for the zoom meeting is the surname of the person wh o coined the phrase "univalent foundations" in all lower case. You can rea d about the history of univalent foundations on Wikipedia.\n LOCATION:https://stable.researchseminars.org/talk/IsolatedInfinityCategori es/1/ END:VEVENT END:VCALENDAR