« 单纯百科 Simplopedia
Wiki.
解析单子
[解析单子]
SimplicialCat
解析单子是带有
单子
结构的
解析函子
$\mathsf{Ani}_{/X} \to \mathsf{Ani}_{/X}$, 可由单色
算畴
产生.