12 citations · 12 across the 2 of their papers we have counts for
2 papers
math.CT2017★ 12 cited
Notes on Clans and Tribes
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…
math.AT2006
Quasi-categories vs Segal spaces
Andre Joyal, Myles Tierney
We show that complete Segal spaces and Segal categories are Quillen equivalent to quasi-categories.