Categorified cyclic operads - Inria - Institut national de recherche en sciences et technologies du numérique
Preprints, Working Papers, ... Year : 2018

Categorified cyclic operads

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.
Fichier principal
Vignette du fichier
categorified_cyclic_operads.pdf (641.17 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01679682 , version 1 (10-01-2018)

Identifiers

Cite

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

Altmetric

Share

More