Infinity-Category Theory for Undergraduates
Emily Riehl outlines a pedagogical vision for introducing ∞-category theory to undergraduates, positing how future curricula might integrate advanced concepts like homotopy type theory.
University
Johns Hopkins University
Johns Hopkins University is a world-renowned research institution, foundational in American higher education and globally recognized for its pioneering contributions in medicine, public health, and international relations.
0university courses1recorded lecture2harchive runtime1faculty & speakers
Talks & colloquia from Johns Hopkins University
1Self-contained research seminars, public lectures, and invited colloquia.
Faculty & visiting speakers at Johns Hopkins University
1Professors, researchers, and invited lecturers recorded at Johns Hopkins University.
All recorded lectures from Johns Hopkins University
1Browse, filter, and sort every lecture from Johns Hopkins University.
Showing 1 of 1 lectures
jknavigate↵watchcchaptersssavexwatched
Save
Mathematics·Standalone Lecture·Formal Methods & Type Theory · Emily Riehl · Johns Hopkins University
1:53:51