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
  • Joachim Kock; André Joyal; Michael Batanin; Jean-François Mascari (2010)
    Polynomial functors and opetopes
    in Advances in mathematics (New York. 1965); Elsevier, Amsterdam (Paesi Bassi)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Joachim Kock; André Joyal; Michael Batanin; Jean-François Mascari (literal)
Pagina inizio
  • 2690 (literal)
Pagina fine
  • 2737 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 224 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 48 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 6 (literal)
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
data.CNR.it