Skip to main content

Toggle navigation menu

Schools menu

Historical Studies
Mathematics
Natural Sciences
Social Science

Begin typing to search for a section of this site.

Campus Resources
Library
Dining

Utility menu

Campus Resources
Friends

Group Nav

About Toggle About submenu
Ideas
Schools Toggle Schools submenu
Scholars Toggle Scholars submenu
News Toggle News submenu
Events Toggle Events submenu
Programs Toggle Programs submenu
Support Toggle Support submenu
Apply

Group Subnav

Open submenu

Breadcrumb

Home
Video Lectures
INTRODUCTION TO THE UNIVALENT FOUNDATIONS OF MATHEMATICS
Formal Abstract Homotopy Theory

Formal Abstract Homotopy Theory

Date

February 28, 2013

Speakers

Jeremy Avigad

Affiliation

Carnegie Mellon University

School of Mathematics

Footer menu

Privacy
Diversity, Equity & Inclusion
Careers
Press Center
Libraries & Archives
Sustainability
Store
Contact

Institute for Advanced Study
1 Einstein Drive
Princeton, New Jersey
08540 USA

Phone

Email

contactus@ias.edu

Support

Help our scientists and scholars continue their field-shaping work.

Connect

Copyright © 2024 Institute for Advanced Study