Kerodon

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

Corollary 4.4.1.8. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor between $\infty$-categories. Then $F$ is an isofibration if and only if the opposite functor $F^{\operatorname{op}}: \operatorname{\mathcal{C}}^{\operatorname{op}} \rightarrow \operatorname{\mathcal{D}}^{\operatorname{op}}$ is an isofibration.