Jul 3, 2017
Library version referred to in Ahrens–Lumsdaine “Displayed Categories…
…”, FSCD 2017
Jul 3, 2017
Library version referred to in Ahrens–Lumsdaine “Displayed Categories…
…”, 2nd arXiv version
May 11, 2017
Library version for Ahrens–Lumsdaine 2017 *Displayed Categories*, arx…
…iv version.
May 11, 2017
Library version for Ahrens–Lumsdaine–Voevodsky 2017 *Categorical stru…
…ctures for type theory in univalent foundations*, arXiv version
Apr 18, 2017
Library version referred to from Ahrens–Lumsdaine “Displayed Categori…
…es” article (2017 preliminary version)
Apr 18, 2017
Library version referred to from Ahrens–Lumsdaine–Voevodsky article “…
…Comparing categorical structures for type theory in the univalent setting” (2017 preliminary version)