Related papers: Higher dimensional algebras via colored PROPs
Over a monoidal model category, under some mild assumptions, we equip the categories of colored PROPs and their algebras with projective model category structures. A Boardman-Vogt style homotopy invariance result about algebras over…
In this article we study homotopes of finite-dimensional algebras (not necessarily, associative). In the case of associative algebras we study homotopes by methods of Category theory and give description of so-called well-tempered elements…
Hom-algebras over a PROP are defined and studied. Several twisting constructions for Hom-algebras over a large class of PROPs are proved, generalizing many such results in the literature. Partial classification of Hom-algebras over a PROP…
We define a variety of notions of cubical sets, based on sites organized using substructural algebraic theories presenting PRO(P)s or Lawvere theories. We prove that all our sites are test categories in the sense of Grothendieck, meaning…
This paper describes several new problems and ideas concerning algebraic geometry and complexity theory. It first uses the idea of coloring graphs with elements of finite fields. This procedure then shows that graph coloring problems can be…
Polygraphs are a higher-dimensional generalization of the notion of directed graph. Based on those as unifying concept, this monograph on polygraphs revisits the theory of rewriting in the context of strict higher categories, adopting the…
We give a definition of weak n-categories based on the theory of operads. We work with operads having an arbitrary set S of types, or `S-operads', and given such an operad O, we denote its set of operations by elt(O). Then for any S-operad…
We define graded Hopf algebras with bases labeled by various types of graphs and hypergraphs, provided with natural embeddings into an algebra of polynomials in infinitely many variables. These algebras are graded by the number of edges and…
Algebraic structures involving both multiplications and comultiplications (such as, e.g., bialgebras or Hopf algebras) can be encoded using PROPs (categories with PROducts and Permutations) of Adams and MacLane. To encode such structures on…
A PROP is a symmetric monoidal category, whose set of objects is the set of natural numbers and on objects the monoidal structure is given by the addition. An algebra over a PROP is a symmetric strict monoidal functor to the tensor category…
The representations of various color Lie superalgebras by Hilbert series are the main topic of this work. The Color Lie superalgebras appear in various branches of mathematics (e.g., topology, algebraic groups, etc.). They are generalized…
Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. Although it can be treated purely as an algebraic subject, it is inherently topological in nature: the…
We construct a PROP which encodes 2D-TQFTs with a grading. This defines a graded Frobenius algebra as algebras over this PROP. We also give a description of graded Frobenius algebras in terms of maps and relations. This structure naturally…
We prove that a weak equivalence between cofibrant props induces a weak equivalence between the associated classifying spaces of algebras. This statement generalizes to the prop setting a homotopy invariance result which is well known in…
We develop the framework for augmented homotopical algebraic geometry. This is an extension of homotopical algebraic geometry, which itself is a homotopification of classical algebraic geometry. To do so, we define the notion of…
Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any…
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 study higher depth algebras. We introduce several examples of such structures starting from the notion of $N$-differential graded algebras and build up to the concept of $A_{\infty}^N$-algebras.
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…
Superspecies are introduced to provide the nice constructions of all finite-dimensional superalgebras. All acyclic superspecies, or equivalently all finite-dimensional (gr-basic) gr-hereditary superalgebras, are classified according to…