Links

Here are some resources:

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

3 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 http://mailman.mit.edu/mailman/listinfo/hott-reading-group, 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 http://video.ias.edu/univalent/voevodsky

  3. Wolfgang Keller says:

    A lecture by Robert Harper: http://www.cs.cmu.edu/~rwh/courses/hott/

Leave a Reply

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

WordPress.com Logo

You are commenting using your WordPress.com 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