The theory of opetopes via Kelly-Mac Lane graphs
Abstract
This paper follows from two earlier works. In the first we gave an explicit construction of opetopes, the underlying cell shapes in the theory of opetopic n-categories; at the heart of this construction is the use of certain trees. In the second we gave a description of trees using Kelly-Mac Lane graphs. In the present paper we apply the latter to the former, to give a construction of opetopes using Kelly-Mac Lane graphs.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.