Involutive Weak Globular Higher Categories
Bejrakarbum, Paratat · Bertozzini, Paolo
Original · EN
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.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.