Wiki. 直化 [直化]SimplicialCat 观念 将范畴 $\mathcal C$ 上的纤维范畴对应到函子 $\mathcal C \to \mathsf{Cat}$, 称为直化 (straightening); 反之称为反直化 (unstraightening).