On the Grothendieck construction for model categories:
370 (2020) 107205 [arXiv:1709.10484, doi:10.1016/j.aim.2020.107205]
On symmetry and introducing the language of homotopy type theory for univalent foundations of mathematics:
Last revised on April 29, 2023 at 19:07:28. See the history of this page for a list of all contributions to it.