Skip to main content
Toggle navigation menu

Schools menu

  • Historical Studies
  • Mathematics
  • Natural Sciences
  • Social Science

  • Campus Resources
  • Library
  • Dining

Utility menu

  • Covid-19: Procedures
  • Friends

Group Nav

  • About Toggle About submenu
    • Welcome
    • Mission & History
    • Director
    • Board of Trustees
    • Administration
    • Libraries & Archives
    • Publications
    • Videos
    • Campus & Lands
    • 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
    • Podcasts
    • Press Center
    • Press Clips
  • Events Toggle Events submenu
    • Public Lectures & Conversations
    • Schools Seminars & Programs
    • Campus Community Events
    • Music
    • Friends Events
    • Calendar
  • Programs Toggle Programs submenu
    • Program in Interdisciplinary Studies
    • Artist-in-Residence Program
    • Program for Women and Mathematics
    • IAS/Park City Mathematics Institute
    • Prospects in Theoretical Physics
    • Summer Program in Social Science
    • DigitalScholarship@IAS
  • Support Toggle Support submenu
    • Give Now
    • Ways to Give
    • Friends
    • IAS Bamberger Medal
    • IAS Einstein Gala
    • Founders Day
    • Planned Giving
    • Development News
    • Contact Us
  • Apply

Group Subnav

Video
Open submenu

Breadcrumb

  1. Home
  2. Video Lectures
  3. INTRODUCTION TO THE UNIVALENT FOUNDATIONS OF MATHEMATICS
  4. Eilenberg-Mac Lane Spaces in HoTT

Eilenberg-Mac Lane Spaces in HoTT

Date

March 13, 2013

Affiliation

Carnegie Mellon University; Member, School of Mathematics

Speakers

Daniel Licata
School of Mathematics
Univalent

Footer menu

  • Privacy
  • Diversity, Equity & Inclusion
  • Careers
  • Press Center
  • Videos
  • 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

Social

  • IAS on Twitter
  • IAS on Facebook
  • IAS on Youtube
  • IAS on Instagram
Copyright © 2022 Institute for Advanced Study