Daily Archives: December 9, 2019

#HigherToposTheory #HTTUF Leeds 2019 HTT-UF school :minicourse on Higher topos theory references