Formality of a higher-codimensional Swiss-Cheese operad
We study bicolored configurations of points in the Euclidean -space that are constrained to remain either inside or outside a fixed Euclidean -subspace, with . We define a higher-codimensional variant of the Swiss-Cheese operad, called the complementarily constrained disks operad , associated to such configurations. The operad is weakly equivalent to the operad of locally constant factorization algebras on the stratified space . We prove that this operad is formal over ℝ.