Thick simplices and quasi-categories
arXiv:1307.6924
Abstract
Thick simplices are the nerves of the contractible groupoids obtained by inverting the arrows in the categories [n]. Using explicit expansions of simplicial subsets of the thick simplices, we present a new approach to results of Rezk and of Joyal and Tierney on quasi-categories and their associated Kan complexes of quasi-invertible morphisms.
10 pages; dedicated to André Joyal on the occasion of his 70th birthday; proofs of main results on quasicategories in last section are simplified