相关论文: Are operads algebraic theories?

We study the geometry of algebraic monoids. We prove that the group of invertible elements of an irreducible algebraic monoid is an algebraic group, open in the monoid. Moreover, if this group is reductive, then the monoid is affine. We…

Given a simply connected space $X$, there are several, a priori different, algebraic groups whose groups of $\mathbb Q$-points are isomorphic to the group of homotopy classes of homotopy automorphisms of the rationalization of $X$. We will…

The principle behind algebraic language theory for various kinds of structures, such as words or trees, is to use a compositional function from the structures into a finite set. To talk about compositionality, one needs some way of…

Techniques from higher categories and higher-dimensional rewriting are becoming increasingly important for understanding the finer, computational properties of higher algebraic theories that arise, among other fields, in quantum…

We study formal deformations of multiplication in an operad. This closely resembles Gerstenhaber's deformation theory for associative algebras. However, this applies to various algebras of Loday-type and their twisted analogs. We explicitly…

The notion of associativity (which differs from the straightforward generalization of the usual associativity given by the move of parentheses in the relevant expression) for operations of high arity is introduced. It is proved that the…

We prove that two quiver operator algebras can be isometrically isomorphic only if the quivers (=directed graphs) are isomorphic. We also show how the graph can be recovered from certain representations of the algebra.

Algebraic effects are computational effects that can be described with a set of basic operations and equations between them. As many interesting effect handlers do not respect these equations, most approaches assume a trivial theory,…

It is clarified how cohomologies and Gerstenhaber algebras can be associated with linear pre-operads (comp algebras). Their relation to mechanics and operadic physics is concisely discussed.

We show that, for each finite algebra A, either it has symmetric term operations of all arities or else some finite algebra in the variety generated by A has two automorphisms without a common fixed point. We also show this two-automorphism…

A new anticyclic operad Mould is introduced, on spaces of functions in several variables. It is proved that the Dendriform operad is an anticyclic suboperad of this operad. Many operations on the free Mould algebra on one generator are…

We develop a self-dual, bivariant extension of the concept of an operadic category, its associated operads and their algebras. Our new theory covers, besides all classical subjects, also generalized traces and bivariant versions of…

We prove that the chain operad of the framed little balls (or disks) operad is not formal as a non-symmetric operad over the rationals if the dimension of their balls is odd and greater than 4.

In this paper, we extend diagrammatic reasoning in monoidal categories with algebraic operations and equations. We achieve this by considering monoidal categories that are enriched in the category of Eilenberg-Moore algebras for a monad.…

In this paper, we introduce the definition of free product of operads, following the definition of a free product of algebras. There is a given method of finding the basis and dimension of the free product of operads. By anti-commutative…

We define a family of structures called "opetopic algebras", which are algebraic structures with an underlying opetopic set. Examples of such are categories, planar operads, and Loday's combinads over planar trees. Opetopic algebras can be…

We introduce the classical theory of the interplay between group theory and topology into the context of operads and explore some applications to homotopy theory. We first propose a notion of a group operad and then develop a theory of…

We verify that certain algebras appearing in string field theory are algebras over Feynman transform of modular operads which we describe explicitly. Equivalent description in terms of solutions of generalized BV master equations are…

The purpose of this exposition is to compare the constructions of classical nonsymmetric operads (and their algebras) to that of the globular operads of Leinster and Batanin. It is hoped that, through this comparison, understanding algebras…

This thesis is concerned with the application of operadic methods, particularly modular operads, to questions arising in the study of moduli spaces of surfaces as well as applications to the study of homotopy algebras and new constructions…