favonia/hott-notes — pull request #11 by nubok (2014-08-31 20:57:07+00:00)
Title: Update notes_week1.tex

Replaced "weak infinity groupoids" by "weak $\infty$-groupoids".