Related papers: Segal conditions for generalized operads
For the algebraic group $SL_{l+1}(\mathbb{C})$ we describe a system of positive roots associated to conjugacy classes in its Weyl group. Using this we explicitly describe the algebra of regular functions on certain transverse slices to…
We present a unified framework for categorical systems theory which packages a collection of open systems, their interactions, and their maps into a symmetric monoidal loose right module of systems over a symmetric monoidal double category…
A construction of the tangent dg Lie algebra of a sheaf of operad algebras on a site is presented. The requirements on the site are very mild; the requirements on the algebra are more substantial. A few applications including the…
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…
In present paper we develop the deformation theory of operads and algebras over operads. Free resolutions (constructed via Boardman-Vogt approach) are used in order to describe formal moduli spaces of deformations. We apply the general…
We introduce a notion of a root groupoid as a replacement of the notion of Weyl group for (Kac-Moody) Lie superalgebras. The objects of the root groupoid classify certain root data, the arrows are defined by generators and relations. As an…
For a set-endofunctor $F$, a graph is triple $(V,E,g)$ with a structure map $g:E\rightarrow F V$. This model is a generalized coalgebra over the category of sets. In this note, we model graphs as coalgebras over $Set\times Set$ and use the…
Path geometries provide a geometric encoding of systems of second order ODE, which serves as a model for the geometric theory of more general systems of ODE and for cone structures. They are an instance of the family of parabolic…
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…
The main ideas developed in this habilitation thesis consist in endowing combinatorial objects (words, permutations, trees, Young tableaux, etc.) with operations in order to construct algebraic structures. This process allows, by studying…
We characterize the exponentiable objects for a wide range of structures prevalent in $\infty$-categorical algebra, extending the construction of Day convolution to more general structures than $\infty$-operads. More precisely, we give a…
We present a general construction of the derived category of an algebra over an operad and establish its invariance properties. A central role is played by the enveloping operad of an algebra over an operad.
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…
In the space-of-histories approach to gauge fields and their quantization, the Maxwell, Yang--Mills and gravitational field are well known to share the property of being type-I theories, i.e. Lie brackets of the vector fields which leave…
We present connections between left non-degenerate solutions of the set-theoretic braid equation and left shelves using Drinfel'd homomorphisms. We generalize the notion of affine quandle, by using heap endomorphisms and metahomomorphisms,…
For a discrete colored operad $P$, we construct an adjunction between the category of dendroidal sets over the nerve of $P$ and the category of simplicial $P$-algebras, and prove that when $P$ is $\Sigma$-free it establishes a Quillen…
Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongoing search in pure mathematics for feasible approaches to…
We study unital $\infty$-operads by their arity restrictions. Given $k \geq 1$, we develop a model for unital $k$-restricted $\infty$-operads, which are variants of $\infty$-operads which has only $(\leq k)$-arity morphisms, as complete…
We introduce a new model structure on the category of dendroidal spaces, designed to provide a further model for the homotopy theory of $\infty$-operads. This model is directly analogous to a recent construction on the category of…
Operads were originally defined as V-operads, that is, enriched in a symmetric or braided monoidal category V. The symmetry or braiding in V is required in order to describe the associativity axiom the operads must obey, as well as the…