2017/09/27 by Bejrakarbum, Paratat, Bertozzini, Paolo
#18D05 #18D99 #46M99 #Category Theory (math.CT) #FOS: Mathematics
paper · doi:10.48550/arxiv.1709.09336
We investigate the notion of involutive weak globular ω-categories via Jacque Penon's approach. In particular, we give the constructions of a free self-dual globular ω-magma, of a free strict involutive globular ω-category, over an ω-globular set, and a contraction between them. The monadic definition of involutive weak globular ω-categories is given as usual via algebras for the monad induced by a certain adjunction. In our case, the adjunction is obtained from the "free functor" that associates to every ω-globular set the above contraction. Some examples of involutive weak globular ω-categories are also provided.