Here are some resources:

To add something to this list, just leave a reply below.

5 Responses to Links

  1. Jason Gross says:

    Another reference: Jason Gross is running a reading group at MIT on the HoTT Book spring 2014. The mailing list for the group is at, which allows you to add yourself and links to archives.

  2. The link to Vladimir’s talk in the first bullet point above seems to have changed to

  3. Wolfgang Keller says:

    A lecture by Robert Harper:

  4. All 26 lectures with videos and notes are available at the above-mentioned URL. More than 15,000 views so far, with more than 5000 hours of streaming.

  5. Ingo Blechschmidt says:

    The links to Mike Shulman’s slides have changed:

    seminar on HoTT at UCSD:
    minicourse at Swansea:

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s