A formal language for cyclic operads

Pierre-Louis Curien, Jovana Obradović

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 behi…