« 单纯百科 Simplopedia

furina

百科. “降模态” [降模态]

SimplicialCat

反向链接

百科. “形模态” [形模态]

SimplicialCat

$\int$ 将一个对象 $X$ 对应到其几何实现或基本 $\infty$-群胚. $\int X$ 可视为 $X$ 的 “形”.

伴随三元组

我们有形模态-降模态-升模态的伴随三元组 $$ \int \dashv \flat \dashv \sharp. $$