# Duality for positive opetopes and tree complexes

@inproceedings{Zawadowski2020DualityFP, title={Duality for positive opetopes and tree complexes}, author={Marek W. Zawadowski}, year={2020} }

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.

#### References

SHOWING 1-10 OF 32 REFERENCES

OPETOPES AND CHAIN COMPLEXES

- Mathematics
- 2012

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. More… Expand

The web monoid and opetopic sets

- Mathematics
- 2010

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 of… Expand

The category of opetopes and the category of opetopic sets.

- Mathematics
- 2003

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

- Mathematics
- 2002

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 small… Expand

Positive Opetopes with Contractions form a Test Category

- Mathematics
- 2017

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 be… Expand

On the duality between trees and disks

- Mathematics
- 2010

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, a… Expand

On positive face structures and positive-to-one computads

- Mathematics
- 2007

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, they… Expand

Higher-Dimensional Algebra III: n-Categories and the Algebra of Opetopes

- Mathematics
- 1997

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 denote… Expand

Syntactic approaches to opetopes

- Mathematics
- 2019

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 the… Expand

On ordered face structures and many-to-one computads

- Mathematics
- 2007

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 an… Expand