Related papers: Mapping coalgebras II: Operads
In this thesis, we generalize the Koszul duality for associative algebras and operads to PROPs. The operads are algebraic objects that represent the operations with multiple inputs but only one output acting on a certain type of algebras. A…
We propose an operadic framework suitable for describing algebraic structures with operations being multilinear differential operators of varying orders or, more generally, formal series of such operators. The framework is built upon the…
The free algebra adjunction, between the category of algebras of a monad and the underlying category, induces a comonad on the category of algebras. The coalgebras of this comonad are the topic of study in this paper (following earlier…
In my Montreal lecture notes of 1988, it was suggested that the theory of linear quantum groups can be presented in the framework of the category of {\it quadratic algebras} (imagined as algebras of functions on "quantum linear spaces"),…
For a model category, we prove that taking the category of coalgebras over a comonad commutes with left Bousfield localization in a suitable sense. Then we prove a general existence result for the left-induced model structure on the…
This paper is an attempt to unify coassociative coalgebra theory and random walks on oriented graphs.
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…
Several topological and homological operads based on families of projectively weighted arcs in bounded surfaces are introduced and studied. The spaces underlying the basic operad are identified with open subsets of a compactification due to…
This paper shows that generalizations of operads equipped with their respective bar/cobar dualities are related by a six operations formalism analogous to that of classical contexts in algebraic geometry. As a consequence of our…
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…
We prove that many of the recently-constructed algebras and categories which appear in categorification can be equipped with an action of $\mathfrak{sl}_2$ by derivations. The $\mathfrak{sl}_2$ representations which appear are filtered by…
The notion of a coalgebra measuring, introduced by Sweedler, is a kind of generalized ring map between algebras. We begin by studying maps on Hochschild homology induced by coalgebra measurings. We then introduce a notion of coalgebra…
Operads and PROPs are presented, together with examples and applications to quantum physics suggesting the structure of Feynman categories/PROPs and the corresponding algebras.
We complete a certain diagram (the operadic butterfly) of categories of algebras involving Com, As, and Lie by constructing a type of algebras which have 4 generating operations and 16 relations. The associated operad is self-dual for…
This paper considers averaging operators on various algebraic structures and studies the induced structures. We first introduce the notion of an averaging operator on a group $G$ and show that it induces a rack structure. Moreover, the…
In this paper, we study algebras over the little cubes operads introduced by Boardman and Vogt, using the formalism of higher category theory.
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…
There are basically two interesting breeds of $E_2$ operads, those that detect loop spaces and those that solve Deligne's conjecture. The former deformation retract to Milgram's space obtained by gluing together permutahedra at their faces.…
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…
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.