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:

Have fun!

Best,

Chris