17 citations · 47 across the 7 of their papers we have counts for
7 papers · 1 filter
The theory of opetopes via Kelly-Mac Lane graphs
Eugenia Cheng
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 hear…
A relationship between trees and Kelly-Mac Lane graphs
Eugenia Cheng
We give a precise description of combed trees in terms of Kelly-Mac Lane graphs. We show that any combed tree is uniquely expressed as an allowable Kelly-Mac Lane graph of a certai…
An alternative characterisation of universal cells in opetopic n-categories
Eugenia Cheng
We address the fact that composition in an opetopic weak n-category is in general not unique and hence is not a well-defined operation. We define composition with a given k-cell in…
Opetopic bicategories: comparison with the classical theory
Eugenia Cheng
We continue our previous modifications of the Baez-Dolan theory of opetopes to modify the Baez-Dolan definition of universality, and thereby the category of opetopic n-categories a…
The category of opetopes and the category of opetopic sets
Eugenia Cheng
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.
Weak n-categories: comparing opetopic foundations
Eugenia Cheng
We define the category of tidy symmetric multicategories. We construct for each tidy symmetric multicategory Q a cartesian monad (E_Q,T_Q) and extend this assignation to a functor.…