Wiki. “形模态” [形模态]

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

伴随三元组

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