Related papers: The non-symmetric operad pre-Lie is free

We prove that the derivative of a non-linear entire function is unbounded on the preimage of an unbounded set.

This paper gives an explicit description of the categorical operad whose algebras are precisely symmetric monoidal categories. This allows us to place the operad in a sequence of four, and therefore a sequence of four successively stricter…

We construct anomaly free non-supersymmetric large N gauge theories from orientifolds of Type IIB on C^3/G orbifolds. In particular, massless as well as tachyonic one-loop tadpoles are cancelled in these models. This is achieved by starting…

We prove completeness for the main examples of infinite-dimensional Lie groups and some related topological groups.

Using methods of computer algebra, especially Gr\"obner bases for submodules of free modules over polynomial rings, we solve a classification problem in theory of algebraic operads: we show that the only nontrivial (possibly inhomogeneous)…

We define a "combinatorial Hopf algebra" as a Hopf algebra which is free (or cofree) and equipped with a given isomorphism to the free algebra over the indecomposables (resp. the cofree coalgebra over the primitives). The choice of such an…

We prove that for every natural number n there exists a natural number N(n) such that every multilinear skew-symmetric polynomial on N(n) or more variables which vanishes in the free associative algebra vanishes as well in any n-generated…

We prove that an asymmetric unimodal map has no wandering intervals.

We propose a $\lambda$-calculus-style formal language, called the $\mu$-syntax, as a lightweight representation of the structure of cyclic operads. We illustrate the rewriting methods behind the formalism by giving a complete step-by-step…

We introduce the notion of $\lambda$-double Lie algebra, which coincides with usual double Lie algebra when $\lambda = 0$. We state that every $\lambda$-double Lie algebra for $\lambda\neq0$ provides the structure of modified double Poisson…

In an attempt to classify all of the overlap-free morphisms constructively using the Latin-square morphism, we came across an interesting counterexample, the Leech square-free morphism. We generalize the combinatorial properties of the…

It is shown that any generalized Kac-Moody Lie algebra g that has no mutually orthogonal imaginary simple roots can be written as the vector space direct sum of a Kac-Moody subalgebra and subalgebras isomorphic to free Lie algebras over…

We prove a coisotropic embedding theorem \`a l\`a Gotay for pre-multisymplectic manifolds.

We show how non-symmetric operads (or multicategories), symmetric operads, and clones, arise from three suitable monads on Cat, each extending to a (pseudo-)monad on the bicategory of categories and profunctors. We also explain how other…

We use Lurie's symmetric monoidal envelope functor to give two new descriptions of $\infty$-operads: as certain symmetric monoidal $\infty$-categories whose underlying symmetric monoidal $\infty$-groupoids are free, and as certain symmetric…

Assuming that there exist operators which form an irreducible representation of the q-superoscillator algebra, it is proved that any two such representations are equivalent, related by a uniquely determined superunitary transformation. This…

We prove an implicit function theorem and an inverse function theorem for free noncommutative functions over operator spaces and on the set of nilpotent matrices. We apply these results to study dependence of the solution of the initial…

We give another proof of a theorem of Fife - understood broadly as providing a finite automaton that gives a complete description of all infinite binary overlap-free words. Our proof is significantly simpler than those in the literature. As…

A proof of the Borel completeness of torsion free abelian groups is presented. This proof differs considerably from the approach of Paolini-Shelah.

We present a syntactic cut-elimination procedure for the alternation-free fragment of the modal mu-calculus. Cut reduction is carried out within a cyclic proof system, where proofs are finitely branching but may be non-wellfounded. The…