Report - Internal languages of higher toposesconferences.inf.ed.ac.uk/ct2019/slides/shulman.pdfThe theorem Theorem (S.) Every Grothendieck (1,1)-topos can be presented by a model category that

Please pass captcha verification before submit form