Examples of finite ∞-categories

Example 4.2.22. The following \(\infty \)-categories are finite:

• The \(\infty \)-categories \(\emptyset \), \(*\) and \([1]\);
• The \(\infty \)-category \(* \sqcup *\);
• The \(\infty \)-categories \(\pullback \) and \(\pushout \);
• The \(\infty \)-categories \([n]\).