[[!redirects HoTT2019 Summer School open problems list]] < [[nlab:HoTT2019 Summer School open problems list]] category: redirected to nlab