12 citations · 12 across the 2 of their papers we have counts for
1 paper · 1 filter
Andre Joyal
The purpose of these notes is to give a categorical presentation/analysis of homotopy type theory. The notes are incomplete as they stand (October 2017). The chapter on univalent t…