« 单纯百科 Simplopedia

furina

出路范畴 [出路范畴]

百科
SimplicialCat

对于分层空间 $X$,

关联页面

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

笔记
SimplicialCat

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

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