http://www.cnr.it/ontology/cnr/individuo/prodotto/ID8417
Polynomial functors and opetopes (Articolo in rivista)
- Type
- Label
- Polynomial functors and opetopes (Articolo in rivista) (literal)
- Anno
- 2010-01-01T00:00:00+01:00 (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
- 10.1016/j.aim.2010.02.012 (literal)
- Alternative label
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Joachim Kock; André Joyal; Michael Batanin; Jean-François Mascari (literal)
- Pagina inizio
- Pagina fine
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
- Rivista
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
- Note
- Scopus (literal)
- ISI Web of Science (WOS) (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
- Consiglio Nazionale delle Ricerche;
DEPARTAMENT DE MATEMÀTIQUES - UNIVERSITAT AUTÒNOMA DE BARCELONA - 08193
BELLATERRA (BARCELONA) - SPAIN;
DÉPARTEMENT DE MATHÉMATIQUES - UNIVERSITÉ DU QUÉBEC À MONTRÉAL - CASE POSTALE
8888, SUCCURSALE CENTRE-VILLE - MONTRÉAL (QUÉBEC), H3C 3P8 - CANADA;
DEPARTMENT OF MATHEMATICS, DIVISION OF ICS - MACQUARIE UNIVERSITY - NSW 2109
- AUSTRALIA (literal)
- Titolo
- Polynomial functors and opetopes (literal)
- Abstract
- We give an elementary and direct combinatorial definition of opetopes in terms
of trees, well-suited for graphical manipulation and explicit computation. To relate
our definition to the classical definition, we recast the Baez-Dolan slice construction
for operads in terms of polynomial monads: our opetopes appear naturally as
types for polynomial monads obtained by iterating the Baez-Dolan construction,
starting with the trivial monad. We show that our notion of opetope agrees with
Leinster's. Next we observe a suspension operation for opetopes, and define a notion
of stable opetopes. Stable opetopes form a least fixpoint for the Baez-Dolan
construction. A final section is devoted to example computations, and indicates
also how the calculus of opetopes is well-suited for machine implementation. (literal)
- Editore
- Prodotto di
- Autore CNR
Incoming links:
- Prodotto
- Autore CNR di
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
- Editore di