Kerodon

\begin{equation} \label{equation:sequential-limits-in-QCat} \cdots \rightarrow \operatorname{\mathcal{C}}(4) \xrightarrow { F_3 } \operatorname{\mathcal{C}}(3) \xrightarrow { F_2 } \operatorname{\mathcal{C}}(2) \xrightarrow { F_1} \operatorname{\mathcal{C}}(1) \xrightarrow { F_0 } \operatorname{\mathcal{C}}(0) \end{equation}