« 单纯百科 Simplopedia
furina
尖模态
[尖模态]
百科
SimplicialCat
性质
伴随三元组
我们有
形模态
-
平模态
-尖模态的伴随三元组 $$ ʃ \dashv \flat \dashv \sharp. $$