Related papers: Categorified cyclic operads
In this paper, I introduce a new generalization of the concept of an operad, further generalizing the concept of an opetope introduced by Baez and Dolan, who used this for the definition of their version of non-strict $n$-categories.…
Cyclic proof theory breaks tradition by allowing certain infinite proofs: those that can be represented by a finite graph, while satisfying a soundness condition. We reconcile cyclic proofs with traditional finite proofs: we extend abstract…
The notion of proof-net category defined in this paper is closely related to graphs implicit in proof nets for the multiplicative fragment without constant propositions of linear logic. Analogous graphs occur in Kelly's and Mac Lane's…
We verify a confluence result for the rewriting calculus of the linear category introduced in our previous paper. Together with the termination result proved therein, the generalized coherence theorem for linear category is established.…
An equivalent description of a symmetric monoidal category is introduced in which, instead of separate associator and commutator isomorphisms satisfying the usual coherence axioms, we simply have associo-commutator isomorphisms satisfying…
A cubical Feynman category, introduced by the authors in previous work, is a category whose functors to a base category $\mathcal{C}$ behave like operads in $\mathcal{C}$. In this note we show that every cubical Feynman category is Koszul.…
We show that the operadic cohomology for any type of algebras over a non-symmetric operad A can be computed as Ext in the category of operadic A-modules. We use this principle to prove that the Gerstenhaber-Schack diagram cohomology is…
For a given $\omega$-operad $A$ on globular sets we introduce a sequence of symmetric operads on $Set$ called slices of $A$ and show how the connected limit preserving properties of slices are related to the property of the category of…
Categorification is the process of finding category-theoretic analogs of set-theoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in…
We define new combinatorial objects, called shrubs, such that forests of rooted trees are shrubs. We then introduce a structure of operad on shrubs. We show that this operad is contained in the Zinbiel operad, by using the inclusion of…
We use Giraudo's construction of combinatorial operads from monoids to offer a conceptual explanation of the origins of Hoffbeck's path sequences of shuffle trees, and use it to define new monomial orders of shuffle trees. One such order is…
Many insights into the quantum world can be found by studying it from amongst more general operational theories of physics. In this thesis, we develop an approach to the study of such theories purely in terms of the behaviour of their…
It is known that pure row contractions with one-dimensional defect spaces can be classified up to unitary equivalence by compressions of the standard $d$-shift acting on the full Fock space. Upon settling for a softer relation than unitary…
Let $A$ be an algebra over an operad in a cocomplete closed symmetric monoidal category. We study the category of $A$-modules. We define certain symmetric product functors of such modules generalising the tensor product of modules over…
A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and…
We study differential graded operads and $p$-adic stable homotopy theory. We first construct a new class of differential graded operads, which we call the stable operads. These operads are, in a particular sense, stabilizations of…
The main goal of this paper is to present a way to compute Quillen homology of operads. The key idea is to use the notion of a shuffle operad we introduced earlier; this allows to compute, for a symmetric operad, the homology classes and…
We give a parametrization of cyclic pointed categories associated to the cyclic group of order $n$ in terms of $n$-th roots of unity. We also provide a diagramatic description of these categories by generators and relations, and use it to…
This is the first paper of a series which aims to set up the cornerstones of Koszul duality for operads over operadic categories. To this end we single out additional properties of operadic categories under which the theory of quadratic…
In this paper, we present an explicit method to identify equivariant suboperads of coinduced operads that contain only fixed points associated to any desired transfer system. Our method works for a class of operads that we call intersection…