Related papers: Operads and cosimplicial objects: an introduction
The spaces of configurations of non-$k$-overlapping discs have been studied as a bimodule over the little discs operad. In fact, the spaces form a filtered operad. We define and study the induced structure on the homology.
We show that the sets of $d$-dimensional Latin hypercubes over a non-empty set $X$, with $d$ running over the positive integers, determine an operad which is isomorphic to a sub-operad of the endomorphism operad of $X$. We generalise this…
In this article we present a detailed study of the existing constructions of colilimits in the category of symmetrical operations. In addition, some examples of operads obtained from colimits of other operads are presented.
We introduce the notion of operadic torsors and operadic quasi-torsors. We show that if an operadic (quasi-)torsor between two operads exists, then these operads are (quasi-)isomorphic. As an application we present the (arguably) shortest…
The theory of Markov processes on the square lattice has been given recently by the second author a new algebraic description in terms of operads. In particular, this new approach allows for a nice description of invariant boundary…
Combinatorial objects such as rooted trees that carry a recursive structure have found important applications recently in both mathematics and physics. We put such structures in an algebraic framework of operated semigroups. This framework…
In this paper, we introduce a notion of categorified cyclic operad for set-based cyclic operads with symmetries. Our categorification is obtained by relaxing defining axioms of cyclic operads to isomorphisms and by formulating coherence…
The present paper is a sequel to our paper "Metric characterization of isometries and of unital operator spaces and systems". We characterize certain common objects in the theory of operator spaces (unitaries, unital operator spaces,…
For a directed polytope, we construct a colored operad whose Poincare-Hilbert series encodes certain operations on the cellular complex of the polytope. We conjecture that for a class of short polytopes the constructed operads are Koszul…
We use computational linear algebra and commutative algebra to study spaces of relations satisfied by quadrilinear operations. The relations are analogues of associativity in the sense that they are quadratic (every term involves two…
$N_\infty$-operads are an equivariant generalization of $E_\infty$-operads introduced by Blumberg and Hill to study structural problems in equivariant stable homotopy theory. In the original paper introducing these objects, Blumberg and…
This paper is a sequel to [LoMa] where moduli spaces of painted stable curves were introduced and studied. We define the extended modular operad of genus zero, algebras over this operad, and study the formal differential geometric…
Some binary quadratic operads are endowed with anticyclic structures and their characteristic functions as anticyclic operads are determined, or conjectured in one case.
We introduce unary operadic 2-categories as a framework for operadic Grothendieck construction for categorical $\mathbb{O}$-operads, $\mathbb{O}$ being a unary operadic category. The construction is a fully faithful functor…
We introduce an operad of formal fractions, abstracted from the Mould operads and containing both the Dendriform and the Tridendriform operads. We consider the smallest set-operad contained in this operad and containing four specific…
In a first part of this paper, we introduce a homology theory for infinity-operads and for dendroidal spaces which extends the usual homology of differential graded operads defined in terms of the bar construction, and we prove some of its…
Dendriform algebras form a category of algebras recently introduced by Loday. A dendriform algebra is a vector space endowed with two nonassociative binary operations satisfying some relations. Any dendriform algebra is an algebra over the…
We give a definition of weak n-categories based on the theory of operads. We work with operads having an arbitrary set S of types, or `S-operads', and given such an operad O, we denote its set of operations by elt(O). Then for any S-operad…
I exhibit a pair of non-symmetric operads that, although not themselves isomorphic, induce isomorphic monads. The existence of such a pair implies that if `algebraic theory' is understood as meaning `monad', operads cannot be regarded as…
Optics are bidirectional data accessors that capture data transformation patterns such as accessing subfields or iterating over containers. Profunctor optics are a particular choice of representation supporting modularity, meaning that we…