论文信息 - The category of opetopes and the category of opetopic sets.

The category of opetopes and the category of opetopic sets.

We give an explicit construction of the category Opetope of opetopes. We prove that the category of opetopic sets is equivalent to the category of presheaves over Opetope.

Eugenia Cheng

[1] Claudio Hermida,et al. Higher dimensional multigraphs , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).

[2] On weak higher-dimensional categories I - 2 , 2001 .

[3] Tom Leinster. Operads in Higher-Dimensional Category Theory , 2000 .

[4] John C. Baez. An Introduction to n-Categories , 1997, Category Theory and Computer Science.

[5] Weak n -categories: comparing opetopic foundations , 2003, math/0304279.

[6] G. M. Kelly,et al. BASIC CONCEPTS OF ENRICHED CATEGORY THEORY , 2022, Elements of ∞-Category Theory.

[7] James Dolan,et al. Higher-Dimensional Algebra III: n-Categories and the Algebra of Opetopes , 1997 .

[8] Joan Mas,et al. A Letter to R , 1967 .

[9] Eugenia Cheng. Weak n -categories: opetopic and multitopic foundations , 2003 .

[10] Claudio Hermida,et al. On weak higher-dimensional categories I—3☆ , 2002 .

[11] Claudio Hermida,et al. On weak higher dimensional categories I: Part 1 ( , 2000 .

[12] Jan Willem Klop,et al. Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond , 1990, ICALP.