Related papers: A Gentle Introduction to Algebraic Operads
Curved algebras are algebras endowed with a predifferential, which is an endomorphism of degree -1 whose square is not necessarily 0. This makes the usual definition of quasi-isomorphism meaningless and therefore the homotopical study of…
We show that there is an equivalence of $\infty$-categories between Lie algebroids and certain kinds of curved Lie algebras. For this we develop a method to study the $\infty$-category of curved Lie algebras using the homotopy theory of…
The purpose of this dissertation is to set up a theory of generalized operads and multicategories, and to use it as a language in which to propose a definition of weak n-category. Included is a full explanation of why the proposed…
By the Three Graces we refer, following J.-L. Loday, to the algebraic operads Ass, Com, and Lie, each generated by a single binary operation; algebras over these operads are respectively associative, commutative associative, and Lie. We…
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…
A theorem of Kontsevich relates the homology of certain infinite dimensional Lie algebras to graph homology. We formulate this theorem using the language of reversible operads and mated species. All ideas are explained using a pictorial…
Diassociative algebras form a categoy of algebras recently introduced by Loday. A diassociative algebra is a vector space endowed with two associative binary operations satisfying some very natural relations. Any diassociative algebra is an…
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…
Let $G$ be a finite group. There is a standard theorem on the classification of $G$-equivariant finite dimensional simple commutative, associative, and Lie algebras (i.e., simple algebras of these types in the category of representations of…
This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The…
We give an introduction to the topics of our forthcoming work, in which we introduce and study new mathematical objects which we call "higher theories" of algebras, where inspiration for the term comes from William Lawvere's notion of…
We argue that operads provide a general framework for dealing with polynomials and combinatory completeness of combinatory algebras, including the classical $\mathbf{SK}$-algebras, linear $\mathbf{BCI}$-algebras, planar…
Circuit algebras are a symmetric analogue of Jones's planar algebras introduced to study finite-type invariants of virtual knotted objects. Circuit algebra structures appear, in different forms, across mathematics. This paper provides a…
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…
This chapter provides a non-technical overview and motivation for the recent interactions between algebraic quantum field theory (AQFT) and rather abstract mathematical disciplines such as operads, model categories and higher categories.
I exhibit a pair of non-symmetric operads that, although not themselves isomorphic, induce isomorphic monads. The existence of such a pair implies that if `algebraic theory' is understood as meaning `monad', operads cannot be regarded as…
The purpose of this memoir is to study pre-Lie algebras up to homotopy with divided powers, and to use this algebraic structure for the study of mapping spaces in the category of operads. We define a new notion of algebra called…
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 define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…
In the theory of operads we consider functors of generalized symmetric powers defined by sums of coinvariant modules under actions of symmetric groups. One observes classically that the construction of symmetric functors provides an…