Related papers: Internal algebra classifiers as codescent objects …
Notions of `operad' and `multicategory' abound. This work provides a single framework in which many of these various notions can be expressed. Explicitly: given a monad * on a category S, we define the term `(S,*)-multicategory', subject to…
We prove that the category of algebras over a cofibrant operad admits a closed model category structure. This leads to the notion of "virtual operad algebra" - the algebra over a cofibrant resolution of the given operad. In particular,…
We endow categories of non-symmetric operads with natural model structures. We work with no restriction on our operads and only assume the usual hypotheses for model categories with a symmetric monoidal structure. We also study categories…
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 proposes a definition of recognizable transducers over monads and comonads, which bridges two important ongoing efforts in the current research on regularity. The first effort is the study of regular transductions, which extends…
Dendriform algebras form a category of algebras recently introduced by Loday. A dendriform algebra is a vector space endowed with two nonassociative binary operations satisfying some relations. Any dendriform algebra is an algebra over the…
This is the first paper of a series which aims to set up the cornerstones of Koszul duality for operads over operadic categories. To this end we single out additional properties of operadic categories under which the theory of quadratic…
We recall several categories of graphs which are useful for describing homotopy-coherent versions of generalized operads (e.g. cyclic operads, modular operads, properads, and so on), and give new, uniform definitions for their morphisms.…
We extend the theory of Sweeder's measuring comonoids to the framework of duoidal categories: categories equipped with two compatible monoidal structures. We use one of the tensor products to endow the category of monoids for the other with…
We develop a rigidity criterion to show that in simplicial model categories with a compatible symmetric monoidal structure, operad structures can be automatically lifted along certain maps. This is applied to obtain an unpublished result of…
Given a 2-category $\twocat{K}$ admitting a calculus of bimodules, and a 2-monad T on it compatible with such calculus, we construct a 2-category $\twocat{L}$ with a 2-monad S on it such that: (1)S has the adjoint-pseudo-algebra property.…
In the study of computational effects, it is important to consider the notion of computational effects with parameters. The need of such a notion arises when, for example, statically estimating the range of effects caused by a program, or…
We introduce a new algebraic construction, {\em monop}, that combines monoids (with respect to the product of species), and operads (monoids with respect to the substitution of species) in the same algebraic structure. By the use of…
Usually a name of the category is inherited from the name of objects. However more relevant for a category of objects and morphisms is an algebra of morphisms. Therefore we prefer to say a category of graphs if every morphism is a graph. In…
We give an overview of the basic definitions of condensed categories, as well as the internal Hom of condensed abelian groups. We give a construction for the internal Hom of condensed sets and apply it to obtain a new proof of a theorem of…
This is an expository article about operads in homotopy theory written as a chapter for an upcoming book. It concentrates on what the author views as the basic topics in the homotopy theory of operadic algebras: the definition of operads,…
Algebraic structures with multiple copies of a given type of operations interrelated by various compatibility conditions have long being studied in mathematics and mathematical physics. They are broadly referred as linearly compatible,…
We prove an equivalence between cocomplete Yoneda structures and certain proarrow equipments on a 2-category $\mathcal K$. In order to do this, we recognize the presheaf construction of a cocomplete Yoneda structure as a relative, lax…
We review several well-known operads of compactified configuration spaces and construct several new such operads, C, in the category of smooth manifolds with corners whose complexes of fundamental chains give us (i) the 2-coloured operad of…
An operad describes a category of algebras and a (co)homology theory for these algebras may be formulated using the homological algebra of operads. A morphism of operads $f:\mathcal{O}\rightarrow\mathcal{P}$ describes a functor allowing a…