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.
toiselle kielelle
lähdeaineistosta
arxiv.org
Tärkeimmät oivallukset
by Thibaut Benj... klo arxiv.org 03-19-2024
https://arxiv.org/pdf/2402.01611.pdfSyvällisempiä Kysymyksiä