Skip to main content
Toggle navigation menu

Schools menu

  • Historical Studies
  • Mathematics
  • Natural Sciences
  • Social Science
  • Nelson Center

  • Campus Resources
  • Library
  • Dining

Utility menu

  • Campus Resources
  • Friends

Group Nav

  • About Toggle About submenu
    • Welcome
    • Mission & History
    • Director
    • Board of Trustees
    • Administration
    • Openness to Talent
    • Libraries & Archives
    • Publications
    • Videos
    • Campus & Lands
    • Sustainability
    • Maps & Directions
    • FAQs
    • Albert: IAS Repository
  • Ideas
  • Schools Toggle Schools submenu
    • Historical Studies
    • Mathematics
    • Natural Sciences
    • Social Science
  • Scholars Toggle Scholars submenu
    • Directors
    • Faculty & Emeriti
    • Current Scholars
    • All Scholars
    • Prospective Scholars
    • Artists-in-Residence
    • Director’s Visitors
    • AMIAS
  • News Toggle News submenu
    • Opinion
    • IAS News
    • In the Media
    • Press Releases
    • Press Center
    • Press Clips
    • Podcasts
  • Events Toggle Events submenu
    • Schools Seminars & Programs
    • Campus Community Events
    • Arts at IAS
    • Friends Events
    • Calendar
    • Record of Events
  • Programs Toggle Programs submenu
    • Arts at IAS
    • Program for Women+ and Mathematics
    • IAS/Park City Mathematics Institute
    • Prospects in Theoretical Physics
    • Science, Technology, and Social Values Lab
    • DigitalScholarship@IAS
  • Support Toggle Support submenu
    • Give Now
    • Ways to Give
    • Friends
    • Planned Giving
    • Contact Us
  • Apply

Group Subnav

Video
Open submenu

Breadcrumb

  1. Home
  2. Video Lectures
  3. Homotopy and Univalence

Homotopy and Univalence

Date

January 23, 2013

Speakers

Thorsten Altenkirch, Institute for Advanced Study

Affiliation

Univ Nottingham/IAS
School of Mathematics
Univalent

Footer menu

  • Privacy
  • Careers
  • Press Center
  • Libraries & Archives
  • Store
  • Contact

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

Phone

(609) 734-8000

Email

contactus@ias.edu

Support

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

Give Now

Connect

eNews Signup

Copyright © 2025 Institute for Advanced Study