Abstract:A complex $C^\bullet(C,D)(F,G)(\eta, \theta)$, generalising the Davydov-Yetter complex of a monoidal category, is constructed. Here $C,D$ are $\Bbbk$-linear (dg) monoidal categories, $F,G\colon C\to D$ are $\Bbbk$-linear (dg) strict monoidal functors, $\eta,\theta\colon F\Rightarrow G$ are monoidal natural transformations. Morally, it is a complex of ``derived modifications'' $\eta \Rrightarrow \theta$, likewise for the case of dg categories one has the complex of ``derived natural transformations'' $F\Rightarrow G$, given by the Hochschild cochain complex of $C$ with coefficients in $C$-bimodule $D(F-,G=)$. As well, an intrinsic homological algebra interpretation of $C^\bullet(C,D)(F,G)(\eta,\theta)$ as $RHom$ in an abelian category of 2-bimodules over $C$, is provided. The complex $C^\bullet(C,D)(F,G)(\eta,\theta)$ naturally arises from a 2-cocellular dg vector space $A(C,D)(F,G)(\eta,\theta)\colon \Theta_2\to C^\bullet(\Bbbk)$, as its $\Theta_2$-totalization (here $\Theta_2$ is the category dual to the category of Joyal 2-disks). It is shown that $H^3(C^\bullet(C,C)(\mathrm{Id},\mathrm{Id})(\mathrm{id},\mathrm{id})))$ is isomorphic to the vector space of the outer infinitesimal deformations of the $\Bbbk$-linear monoidal category which we call {\it full} deformations. It means that the following data is to be deformed: (a) the underlying dg category structure, (b) the monoidal product on morphisms (the monoidal product on objects is a set-theoretical datum and is maintained under the deformation), (c) the associator. It is shown that $C^\bullet(C,D)(F,F)(\mathrm{id},\mathrm{id})$ is a homotopy $e_2$-algebra. Conjecturally, $C^\bullet(C,C)(\mathrm{Id},\mathrm{Id})(\mathrm{id},\mathrm{id})$ is a homotopy $e_3$-algebra; however the proof requires more sophisticated methods and we hope to complete it in our next paper.

Twisted tensor product of dg categories and Kontsevich's Swiss Cheese conjecture

Proof of Swiss Cheese Version of Deligne's Conjecture

On comparison of the Tamarkin and the twisted tensor product 2-operads

(Contravariant) Koszul duality for DG algebras

dg-Hecke duality and tensor products

Swiss Cheese type operads and models for relative loop spaces

Deligne tensor products of categories of modules for vertex operator algebras

Mapping spaces of Swiss cheese operads

Twisted K-theory constructions in the case of a decomposable Dixmier-Douady class II: Topological and equivariant models

Homotopy Invariants of Braided Commutative Algebras and the Deligne Conjecture for Finite Tensor Categories

Operadic Dold-Kan correspondence and mapping spaces between enriched operads

A braided monoidal $(\infty,2)$-category of Soergel bimodules

A twisted Bass-Heller-Swan decomposition for the algebraic K-theory of additive categories

Swiss-Cheese operad and Drinfeld center

From Subfactors to Categories and Topology II. The quantum double of tensor categories and subfactors

The category $Θ_2$, derived modifications, and deformation theory of monoidal categories

Koszul duality and a conjecture of Francis-Gaitsgory

Involutive categories, colored $\ast$-operads and quantum field theory

Twisted tensor product, smooth DG algebras, and noncommutative resolutions of singular curves

OCHA and the swiss-cheese operad

Szczarba's twisting cochain is comultiplicative