加载中…
We investigate the notion of involutive weak cubical -categories via Penon’s approach: as algebras for the monad induced by the free involutive strict -category functor on cubical -sets. A few examples of involutive weak cubical -categories are provided.

生成讲解博客的中文版本

生成AI智能校验的中文版本