By [Lur09, Prop. 5.2.8.17], the factorization in part ([00JL]) of Definition B.1.5 is unique. We often use this fact without further comment.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2
By [Lur09, Prop. 5.2.8.17], the factorization in part ([00JL]) of Definition B.1.5 is unique. We often use this fact without further comment.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2