Categorified cyclic operads

Pierre-Louis Curien 1, 2 Jovana Obradovic 2, 1
2 PI.R2 - Design, study and implementation of languages for proofs and programs
Inria de Paris, CNRS - Centre National de la Recherche Scientifique, UPD7 - Université Paris Diderot - Paris 7, PPS - Preuves, Programmes et Systèmes
Abstract : The purpose of this paper is to establish a notion of categorified cyclic operad for set-based cyclic operads with symmetries, based on individual composition operations. The categorifications we introduce are obtained by replacing sets (of operations of the same arity) with categories, by relaxing certain defining axioms (like associativity and commutativity) to isomorphisms, while leaving the equivariance strict, and by formulating coherence conditions for these isomorphisms. The coherence theorem that we prove has the form " all diagrams of canonical isomorphisms commute ". For entries-only categorified cyclic operads, our proof is of syntactic nature and relies on the coherence of categorified non-symmetric operads established by Došen and Petric. We prove the coherence of exchangeable-output categorified cyclic operads by " lifting to the categorified setting " the equivalence between entries-only and exchangeable-output cyclic operads, set up by the second author.
Liste complète des métadonnées

Cited literature [11 references]  Display  Hide  Download
Contributor : Jovana Obradovic <>
Submitted on : Wednesday, January 10, 2018 - 10:33:17 AM
Last modification on : Friday, April 19, 2019 - 4:55:12 PM


Files produced by the author(s)


  • HAL Id : hal-01679682, version 1
  • ARXIV : 1706.06788



Pierre-Louis Curien, Jovana Obradovic. Categorified cyclic operads. 2018. ⟨hal-01679682⟩



Record views


Files downloads