BilTop | Walker Stern | Limits and colimits in quasi-categories

We define limits and colimits in a quasi-category, and describe how they generalize both 1-categorical limits, and homotopy limits. We survey some theorems about the computation of limits and colimits — in particular, cofinality.

Part IV of a sequnce on Higher Categories (HC).