Involutive Weak Cubical $ω$-categories
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.
math.CT↗