TL;DR
This paper introduces a novel definition for (general) ∞-categories, aiming to advance the foundational understanding of higher category theory.
Contribution
It provides a new formalization of ∞-categories, potentially impacting the development of higher algebra and topology.
Findings
Defines a new model for ∞-categories
Establishes basic properties of the new definition
Lays groundwork for future research in higher categories
Abstract
A new definition for the notion of a (general) -category is given.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic