Remark 14.1.19. Equivalently, \(q\catop \colon \Triv _C^{\otimes } \to \Fin \catop \) is the cocartesian unstraightening of the functor \(C^{(-)}\) from Construction 14.1.16: it is a cocartesian fibration and its cocartesian straightening \(\Fin \catop \to \Cat _{\infty }\) preserves finite products and sends the point to \(C\).
Generated from the authoritative LaTeX source.