« 单纯百科 Simplopedia

furina

“升模态” [升模态]

百科
SimplicialCat

关联页面

“形模态” [形模态]

百科
SimplicialCat

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

伴随三元组

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