相关论文: Dualite de Koszul des PROPs

We suggest that the canonical parallel operation of processes is composition in a well-supported compact closed category of spans of reflexive graphs. We present the parallel operations of classical process algebras as derived operations…

In this paper, we explore the interaction between two monoidal structures: a multiplicative one, for the encoding of pairing, and an additive one, for the encoding of choice. We propose a colored PROP to model computation in this framework,…

We survey the topology which led to the original bar and cobar constructions, for both associative algebras and coalgebras and for Lie algebras and commutative coalgebras. These constructions are often viewed as part of the larger theory of…

We show that some associative algebras whose product splits up into the sum of several operations and are free, in a certain sense, with respect to these operations, admit a Hopf algebra structure. We show that the operad of dendriform…

This is a report on recent work of Chalupnik and Touze. We explain the Koszul duality for the category of strict polynomial functors and make explicit the underlying monoidal structure which seems to be of independent interest. Then we…

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…

We study the operad $n\text{-}Lie_d$, whose algebras are graded $n$-Lie algebras with degree $d$ $n$-arity operations, which were introduced in Nambu mechanics and later studied in the algebraic setting with Filippov. We compute the Koszul…

A dual pre-Poisson algebra is an algebraic structure that integrates a permutative algebra and a Leibniz algebra under certain compatibility conditions. As the Koszul dual notion of the pre-Poisson algebra, this structure serves as a…

Absolute algebras are a new type of algebraic structures, endowed with a meaningful notion of infinite sums of operations without supposing any underlying topology. Opposite to the usual definition of operadic calculus, they are defined as…

Let $\mathbb R^{m|n}$ be the usual super space. It is known that the algebraic functions on $\mathbb R^{m|n}$ is a Koszul algebra, whose Koszul dual algebra, however, is not the set of functions on $\mathbb R^{n|m}$, due to the…

Livernet and Loday constructed a polarization of the nonsymmetric associative operad A with one operation into a symmetric operad SA with two operations (the Lie bracket and Jordan product), and defined a one-parameter deformation of SA…

We consider graph complexes with a flow and compute their cohomology. More specifically, we prove that for a PROP generated by a Koszul dioperad, the corresponding graph complex gives a minimal model of the PROP. We also give another proof…

The purpose of this paper is to give a characterisation of divided power algebras over a reduced operad. Such a characterisation is given in terms of polynomial operations, following the classical example of divided power algebras. We…

We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in…

Vertex operator algebras are mathematically rigorous objects corresponding to chiral algebras in conformal field theory. Operads are mathematical devices to describe operations, that is, $n$-ary operations for all $n$ greater than or equal…

We consider partitions of a set with $r$ elements ordered by refinement. We consider the simplicial complex $\bar{K}(r)$ formed by chains of partitions which starts at the smallest element and ends at the largest element of the partition…

Monads are of interest both in semantics and in higher dimensional algebra. It turns out that the idea behind usual notion finitary monads (whose values on all sets can be computed from their values on finite sets) extends to a more general…

We apply the effective integration theory of Lie-graph algebras, developed recently by the authors, to the deformation and homotopy theories of types of bialgebras, that is structures controlled by a properad, like associative bialgebras,…

Equivariant monoids are very important objects in many branches of mathematics: they combine the notion of multiplication and the concept of a group action. In this paper we will construct categories which encode the structure borne by…

We study generalized sums of linear orders. These are binary operations that, given linear orders $A$ and $B$, return an order $A \oplus B$ that can be decomposed as an isomorphic copy of $A$ interleaved with a copy of $B$. We show that…