分层空间与范畴 [strat-cat]

命题. “出路范畴” 函子 $$ \mathsf{Exit}\colon \mathsf{Strat} \to \mathsf{Cat} $$ 为全忠实函子.

定理. 有范畴等价 $$ \mathsf{Stri} \simeq \mathsf{Cat}. $$ 换言之,