Related papers: Fine structures inside the PreLie operad
A pre-Lie-Rinehart algebra is an algebraic generalization of the notion of a left-symmetric algebroid. We construct pre-Lie-Rinehart algebras from r-matrices through Lie algebra actions. We study cohomologies of pre-Lie-Rinehart algebras…
We enrich the Lambek calculus with the cyclic shift operation, which is expected to model the closure operator of formal languages with respect to cyclic shifts. We introduce a Gentzen-style calculus and prove cut elimination. Secondly, we…
The goal of this article is to relate recent developments in cyclic homology theory with the theory of operads and homotopical algebra, and hence to provide a general framework to define and study operations in cyclic homology theory.
We present a class of Poisson structures on trivial extension algebras which generalize some known structures induced by Poisson modules. We show that there exists a one-to-one correspondence between such a class of Poisson structures and…
In this paper, we first introduce the notion of a weighted $\mathcal{O}$-operator on Hom-Lie triple systems with respect to an action on another Hom-Lie triple system. Next, we construct a cohomology of weighted $\mathcal{O}$-operator on…
Using representations of quivers of type A, we define an anticyclic cooperad in the category of triangulated categories, which is a categorification of the linear dual of the Diassociative operad.
Prions are misfolded proteins that transmit their structural arrangement to neighboring proteins. In biological systems, prion dynamics can produce a variety of complex functional outcomes. Yet, an understanding of prionic causes has been…
The state space of a machine admits the structure of time. For example, the geometric realization of a precubical set, a generalization of an unlabeled asynchronous transition system, admits a "local preorder" encoding control flow. In the…
We describe four natural operad structures on the vector space generated by isomorphism classes of finite posets. The three last ones are set-theoretical and can be seen as a simplified version of the first, the same way the NAP operad…
To a Lie groupoid over a compact base, the associated group of bisection is an (infinite-dimensional) Lie group. Moreover, under certain circumstances one can reconstruct the Lie groupoid from its Lie group of bisections. In the present…
Operator precedence languages (OPL) enjoy the local parsability property, which essentially means that a code fragment enclosed within a pair of markers -- playing the role of parentheses -- can be compiled with no knowledge of its external…
A (pre-)Lie-morphism triple consists of two (pre-)Lie algebras and a (pre-)Lie algebra homomorphism between them. We give chomologies of pre-Lie-morphism triples. As an application, we study the infinitesimal deformations of…
The notion of crossed modules for Lie 2-algebras is introduced. We show that, associated to such a crossed module, there is a strict Lie 3-algebra structure on its mapping cone complex and a strict Lie 2-algebra structure on its…
For $\mathcal{O}$ a reduced operad, a generalized divergence from the derivations of a free $\mathcal{O}$-algebra to a suitable trace space is constructed. In the case of the Lie operad, this corresponds to Satoh's trace map and, for the…
A Com-PreLie bialgebra is a commutative bialgebra with an extra preLie product satisfying some compatibilities with the product and coproduct. We here give a classification of connected, cocommutative Com-PreLie bialgebras over a field of…
This talk is a sneak preview of the project, 'proof theory for theories of ordinals'. Background, aims, survey and furture works on the project are given. Subsystems of second order arithmetic are embedded in recursively large ordinals and…
We obtain a characterization of the real Lie algebras admitting abelian complex structures in terms of certain affine Lie algebras $\frak a \frak f \frak f (A)$, where $A$ is a commutative algebra. These affine Lie algebras are natural…
In this paper we introduce a notion of {\it generalized operad} containing as special cases various kinds of operad--like objects: ordinary, cyclic, modular, properads etc. We then construct inner cohomomorphism objects in their categories…
Nongraded infinite-dimensional Lie algebras appeared naturally in the theory of Hamiltonian operators, the theory of vertex algebras and their multi-variable analogues. They play important roles in mathematical physics. This survey article…
A general notion of operad is given, which includes as instances, the operads originally conceived to study loop spaces, as well as the higher operads that arise in the globular approach to higher dimensional algebra. In the framework of…