Hi everyone,

Hopefully you're at the Fields Institute with us, attending Mike Shulman's
mini-course on Synthetic Homotopy Theory. If you're not, you can still
enjoy the workshop using FieldsLive:

http://www.fields.utoronto.ca/live

Have fun!

Best,
Chris