# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Question 5.7.0.1. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a cocartesian fibration of $\infty$-categories. To what extent can $U$ be recovered from the collection of $\infty$-categories $\{ \operatorname{\mathcal{E}}_{C} \} _{C \in \operatorname{\mathcal{C}}}$?