Related papers: Arity Approximation of $\infty$-Operads

Rice's theorem shows that nontrivial extensional properties of partial recursive functions are undecidable. For finite weighted Boolean optimization/CSP-style slices, a Rice-style structural analogue holds for tractability classification:…

Motivated by the problem of testing planarity and related properties, we study the problem of designing efficient {\em partition oracles}. A {\em partition oracle} is a procedure that, given access to the incidence lists representation of a…

Given a symmetric operad $P$, and a signature (or generating sequence) $\Phi$ for $P$, we define a notion of the "categorification" (or "weakening") of $P$ with respect to $\Phi$. When $P$ is the symmetric operad whose algebras are…

We identify the complex plane C with the open unit disc D={z:|z|<1} by the homeomorphism z --> z/(1+|z|). This leads to a compactification $\bar{C}$ of C, homeomorphic to the closed unit disc. The Euclidean metric on the closed unit disc…

We define a construction on operads which yields a new description of the minimal model. The construction also allows us to define algebraic structures on the homology of chain complexes with homologously trivial operad algebra structures,…

Algebraic operads provide a powerful tool to understand the homotopy theory of the types of (co)algebras they encode. So far, the principal results and methods that this theory provides were only available in characteristic zero. The reason…

We establish a highly flexible condition that guarantees that all colored symmetric operads in a symmetric monoidal model category are admissible, i.e., the category of algebras over any operad admits a model structure transferred from the…

The d.g. operad C of cellular chains on the operad of spineless cacti is isomorphic to the Gerstenhaber-Voronov operad codifying the cup product and brace operations on the Hochschild cochains of an associative algebra, and to the suboperad…

The goal of the paper is to establish and to investigate a fully faithful embedding of the category of group operads into that of crossed interval groups. For this, we introduce a monoidal structure on the slice of the category of operads…

We introduce a finitely presented prop $\mathcal{S} = \{\mathcal{S}(n,m)\}$ in the category of differential graded modules whose associated operad $U(\mathcal{S})=\{\mathcal{S}(1,m)\}$ is a model for the $E_\infty$-operad. This finite…

Inspired by recent work of Batanin and Berger on the homotopy theory of operads, a general monad-theoretic context for speaking about structures within structures is presented, and the problem of constructing the universal ambient structure…

We show that every action operad gives rise to a notion of monoidal category via the categorical version of the Borel construction, embedding action operads into the category of 2-monads on $\mathbf{Cat}$. We characterize those 2-monads in…

We consider a certain class of second order, variable coefficient divergence form elliptic operators, in a uniform domain $\Omega$ with Ahlfors regular boundary, and we show that the $A_\infty$ property of the elliptic measure associated to…

We introduce a new operad-like structure that we call a reconnectad; the ``input'' of an element of a reconnectad is a finite simple graph, rather than a finite set, and ``compositions'' of elements are performed according to the notion of…

Building on techniques used in the case of the disc, we use a variety of methods to develop formulae for the adjoints of composition operators on Hardy spaces of the upper half-plane. In doing so, we prove a slight extension of a known…

Given a map $B\to B\mathrm{Top}(n)$ of spaces, one can define a version $\mathbb{E}_{B}$ of the little cubes operad, whose construction is due to Lurie. We show that $\mathbb{E}_{B}$ enjoys the universal property that, for every…

We study minimum degree conditions that guarantee that an $n$-vertex graph is rigid in $\mathbb{R}^d$. For small values of $d$, we obtain a tight bound: for $d = O(\sqrt{n})$, every $n$-vertex graph with minimum degree at least $(n+d)/2 -…

We study a special type of $E_\infty$-operads that govern strictly unital $E_\infty$-coalgebras (and algebras) over the ring of integers. Morphisms of coalgebras over such an operad are defined by using universal $E_\infty$-bimodules. Thus…

A moment category is endowed with a distinguished set of split idempotents, called moments, which can be transported along morphisms. Equivalently, a moment category is a category with an active/inert factorisation system fulfilling two…

We study the tractability of conjunctive query answering for queries with unbounded arity. It is well known that tractability of the problem can be characterised in terms of the queries treewidth under the assumption of bounded arity. We…