Path categories and quasi-categories

Abstract

This paper gives an introduction to the homotopy theory of quasi-categories. Weak equivalences between quasi-categories are characterized as maps which induce equivalences on a naturally defined system of groupoids. These groupoids effectively replace higher homotopy groups in quasi-category homotopy theory.

38 pages

References in corpus (2)

• The Local Joyal Model Structure
• Complexity reduction for path categories