Corpus ID: 230433961

Duality for positive opetopes and tree complexes

  title={Duality for positive opetopes and tree complexes},
  author={Marek W. Zawadowski},
We show that the (positive) zoom complexes, here called tree complexes, with fairly natural morphisms, form a dual category to the category of positive opetopes with contraction epimorphisms. We also show how this duality can be slightly generalized to thicket complexes and opetopic cardinals. 


We give a simple algebraic description of opetopes in terms of chain com- plexes, and we show how this description is related to combinatorial descriptions in terms of treelike structures. MoreExpand
The web monoid and opetopic sets
Abstract We propose a new approach to opetopic sets. It is based on fibrations and the web monoid , which plays a role analogous to the operad for operads of Baez and Dolan and the multicategory ofExpand
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.
A Cellular Nerve for Higher Categories
Abstract We realise Joyal' cell category Θ as a dense subcategory of the category of ω-categories. The associated cellular nerve of an ω-category extends the well-known simplicial nerve of a smallExpand
Positive Opetopes with Contractions form a Test Category
We show that the category of positive opetopes with contraction morphisms, i.e. all face maps and some degeneracies, forms a test category. The category of positive opetopic sets pOpeSet can beExpand
On the duality between trees and disks
A combinatorial category Disks was introduced by Andr\'e Joyal to play a role in his definition of weak omega-category. He defined the category Theta to be dual to Disks. In the ensuing literature, aExpand
On positive face structures and positive-to-one computads
We introduce the notion of a positive face structure. The positive face structures to positive-to-one computads are like simple graphs, to free omega-categories over omega-graphs. In particular, theyExpand
Higher-Dimensional Algebra III: n-Categories and the Algebra of Opetopes
Abstract We give a definition of weak n -categories based on the theory of operads. We work with operads having an arbitrary set S of types, or “ S -operads,” and given such an operad O , we denoteExpand
Syntactic approaches to opetopes
Opetopes are algebraic descriptions of shapes corresponding to compositions in higher dimensions. As such, they offer an approach to higher-dimensional algebraic structures, and in particular, to theExpand
On ordered face structures and many-to-one computads
We introduce the notion of an ordered face structure. The ordered face structures to many-to-one computads are like positive face structures to positive-to-one computads. This allow us to give anExpand