For \(n\geq k \geq 0\), the following commuting square of \(\infty\)-categories is a pullback square 
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2
For \(n\geq k \geq 0\), the following commuting square of \(\infty\)-categories is a pullback square
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2