The article introduces the concept of opposites for weak globular ω-categories, showing their preservation properties. It discusses the hom functor on ω-categories and its left adjoint, the suspension functor. The paper also explores the relationship between hom ω-categories and their opposites. Higher category theory applications are highlighted, including rewriting theory, homology theory, and topological quantum field theory. The equivalence of various definitions of ω-categories is discussed, along with a new description using monads. The construction of opposites allows for unification of concepts in category theory.
Til et annet språk
fra kildeinnhold
arxiv.org
Viktige innsikter hentet fra
by Thibaut Benj... klokken arxiv.org 03-19-2024
https://arxiv.org/pdf/2402.01611.pdfDypere Spørsmål