« 单纯百科 Simplopedia
Wiki.
可表函子
[可表函子]
SimplicialCat
定义
可表函子是
米田嵌入
的像.