Homotopy Type Theory
Resources

Here are some resources.