BooksdmsCollected Volumepp. 579–604A1\mathbf{A}^1A1-homotopy theoryVladimir VoevodskyDownload Chapter PDF