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.
เป็นภาษาอื่น
จากเนื้อหาต้นฉบับ
arxiv.org
ข้อมูลเชิงลึกที่สำคัญจาก
by Thibaut Benj... ที่ arxiv.org 03-19-2024
https://arxiv.org/pdf/2402.01611.pdfสอบถามเพิ่มเติม