Involutive Weak Cubical $\ddot{I}‰$-categories

Abstract

We investigate the notion of involutive weak cubical $\ddot{I}‰$-categories via Penon's approach: as algebras for the monad induced by the free involutive strict $\ddot{I}‰$-category functor on cubical $\ddot{I}‰$-sets. A few examples of involutive weak cubical $\ddot{I}‰$-categories are provided.

LaTeX2e, 15 pages. Reformatted version, only for arXiv purposes, of a paper published in "Science and Technology Asia"