Related papers: Operads without coalgebras
This paper explicitely constructs cofree coalgebras over operads in the category of DG-modules. Special cases are considered in which the general expression simplifies (such as the pointed, irreducible case). It is shown that the existence…
We prove that the semantics of intuitionistic linear logic in vector spaces which uses cofree coalgebras is also a model of differential linear logic, and that the Cartesian closed category of cofree coalgebras is a model of the…
In this paper, we will explicitly construct cofree coalgebras, by first constructing cofree precoalgebras (namely those not necessarily coassociative or counital). Our approach does not impose any condition to the coefficient ring, which…
In this paper, we prove that simple affine vertex operator algebras with positive integral levels admit only trivial first-order deformations. Therefore, the deformation rigidity conjecture of strongly rational vertex operator algebras…
This paper proves that homology equivalences of cogenerating complexes induce homology equivalences of the cofree coalgebras in many interesting cases. We show that the underlying chain complex of any cofree coalgebra is naturally a direct…
We describe all operations from a theory A^* obtained from Algebraic Cobordism of M.Levine-F.Morel by change of coefficients to any oriented cohomology theory B^* (in the case of a field of characteristic zero). We prove that such an…
We consider the cotriple resolution of algebras over operads in differential graded modules. We focus, to be more precise, on the example of algebras over the differential graded Barratt-Eccles operad and on the example of commutative…
We present coalgebras of some classes of nonassociative algebras whose associator satisfies invariance conditions given by the action of the 3-order symmetric group. Amongst these algebras we find the well-known Vinberg algebras, the…
Language theory, symbolic dynamics, modelisation of viral insertion into the genetic code of a host cell motivate the introduction of new types of bialgebras whose coalgebra parts are not necessarily coassociative. One of the aim of this…
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,…
We describe some examples of non abelian nilpotent Lie algebras which are not algebraic.
We give a sufficient condition for an algebraic structure to have a computable presentation with a computable basis and a computable presentation with no computable basis. We apply the condition to differentially closed, real closed, and…
The aim of this paper is to present remarkable classes of Lie-admissible algebras containing in particular the associative algebras, the Vinberg algebras and pre-Lie algebras. We determine the associated quadratic operads and their dual…
We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and in the theory of species. We prove that the composition of two cofree coalgebras is again cofree, and we give sufficient…
We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and the theory of species. We prove that the composition of two cofree coalgebras is cofree and give conditions which imply that…
A modal logic is \emph{non-iterative} if it can be defined by axioms that do not nest modal operators, and \emph{rank-1} if additionally all propositional variables in axioms are in scope of a modal operator. It is known that every…
We study non-counital coalgebras and their dual non-unital algebras, and introduce the finite dual of a non-unital algebra. We show that a theory that parallels in good part the duality in the unital case can be constructed. Using this, we…
Algebras on the natural numbers and their clones of term operations can be classified according to their descriptive complexity. We give an example of a closed algebra which has only unary operations and whose clone of term operations is…
We have constructed a concrete example of a non-factorable positive operator. As a result, for the well-known problems (Ringrose, Kadison and Singer problems) we replace existence theorems by concrete examples.
Sufficient conditions for existence of a faithful representation of a *-algebra in terms of its G\"obner basis is presented. Proposed construction of faithful representation is applicable to concrete examples: *-doubles, monomial…