Author: Eiko

Time: 2025-07-27 14:17:27 - 2025-07-27 14:17:27 (UTC)

Elements Of Infinity Category Theory

  • An \(\infty\)-cosmos is an \((\infty,2)\)-category, a category enriched over \((\infty,1)\)-categories equipped with \((\infty,2)\)-categorical limits.

Review Of Quasi-Categories

  • \([n]=\{0\to 1\to 2\to \cdots \to n\}\) is the standard \(n\)-simplex.

  • \(\delta^i:[n-1]\to [n], n\ge i\) is the \(i\)-th face map, which skips \(i\).

  • \(\sigma^i:[n+1]\to [n], n\ge i\) is the \(i\)-th degeneracy map, which duplicates \(i\).

  • The category of simplicial sets is the category of presheaves on the simplex category \(\Delta = \{[0], [1], [2], \ldots\}\).