A formal language for cyclic operads

MaRDI QIDQ3121012zbMATH OpenFDO

Authors Pierre-Louis Curien, Jovana Obradović

Publication date 19 March 2019

Full work available at URL https://arxiv.org/abs/1602.07502

zbMATH Keywords

operadsyntaxformalisationrewriting systemcyclic operadunrooted trees

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Abstract: We propose a $lambda$-calculus-style formal language, called the $mu$-syntax, as a lightweight representation of the structure of cyclic operads. We illustrate the rewriting methods behind the formalism by giving a complete step-by-step proof of the equivalence between the unbiased and biased definitions of cyclic operads.

Recommendations

• Monoid-like definitions of cyclic operad
• The operad of framed discs is cyclic
• Higher cyclic operads
• Operads and PROPs
• Categorified cyclic operads

Cites work

• scientific article; zbMATH DE number 1327759 (Why is no real title available?)
• scientific article; zbMATH DE number 1757930 (Why is no real title available?)
• scientific article; zbMATH DE number 970691 (Why is no real title available?)
• Feynman categories
• Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract)
• Gromov-Witten classes, quantum cohomology, and enumerative geometry
• Models for operads
• Modular envelopes, OSFT and nonsymmetric (non-\(\Sigma\)) modular operads
• Monoid-like definitions of cyclic operad
• Operads revisited
• Term Rewriting and All That
• The algebra of directed acyclic graphs
• The duality of computation
• The geometry of iterated loop spaces
• Types and programing languages
• Une théorie combinatoire des séries formelles

Cited in

(7)

• A practical type theory for symmetric monoidal categories
• Categorified cyclic operads
• Proofs and surfaces
• Dwyer-Kan homotopy theory for cyclic operads
• Monoid-like definitions of cyclic operad
• Operads and Phylogenetic Trees
• Cyclic vector languages

This page was built for publication: A formal language for cyclic operads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3121012)