[[!redirects 4. limits and colimits]] This is a subentry of [[a reading guide to HTT]]. ### 4.1 Definition 4.1: cofinal arrow Proposition 4.1.3.1: Cofinal arrows preserve colimits ### 4.2 Theorem 4.2.4.1: relation of $\infty$-categorial colimits and homotopy colimits in simplicially enriched categories. Proposition 4.2.4.4 (and Corollary 4.2.4.7)in a simplicial model category every homotopy coherent diagram is equivalent to a commutative diagram ### 4.3 (Kan extensions) ### 4.4 Examples for limits and colimits construction of colimits from basic diagrams