Fix \(n,k \geq 0\). The commuting square of \(\infty\)-categories 
is a pullback square. Note the left map exists by observation 5.4.14.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2
Fix \(n,k \geq 0\). The commuting square of \(\infty\)-categories is a pullback square. Note the left map exists by observation 5.4.14.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2