Related papers: Lecture notes on infinity-properads
One of the main reasons for the correspondence of regular languages and monadic second-order logic is that the class of regular languages is closed under images of surjective letter-to-letter homomorphisms. This closure property holds for…
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 show that descriptive complexity's result extends in High Order Logic to capture the expressivity of Turing Machine which have a finite number of alternation and whose time or space is bounded by a finite tower of exponential. Hence we…
We will introduce two new classes of Dirichlet series which are monoids under multiplication. The first class $\mathfrak{A}^{\#}$ contains both the extended Selberg class $\mathscr{S}^{\#}$ of Kaczorowski and Perelli as well as many…
This set of Montreal lectures is an elementary and sketchy introduction to the general field of random matrices. The first half is devoted to combinatorial models, whereas the second half deals with random matrix questions(GUE, etc...).
Lecture 1 provides an introduction to dynamical electroweak symmetry breaking. Lectures 2 and 3 give an introduction to compositeness, with emphasis on effective lagrangians, power-counting, and the 't Hooft anomaly-matching conditions.
We introduce and study operadic categories with cardinalities in finite sets and establish conditions under which their associated theories of operads and algebras are equivalent to the standard framework introduced in 2015 by Batanin and…
We develop a higher genus version of Drinfeld associators by means of operad theory. We start by introducing a framed version of rational associators and Grothendieck-Teichm\"uller groups and show that their definition is independent of the…
I give a pedagogical introduction to the concepts and the tools that are necessary to study particle physics models in higher dimensions. I then give a more detailed presentation of warped compactifications and discuss their possible…
The intended model of the homotopy type theories used in Univalent Foundations is the infinity-category of homotopy types, also known as infinity-groupoids. The problem of higher structures is that of constructing the homotopy types needed…
We introduce nominal string diagrams as string diagrams internal in the category of nominal sets. This leads us to define nominal PROPs and nominal monoidal theories. We show that the categories of ordinary PROPs and nominal PROPs are…
Let $\mathfrak{M}_n$ be the multiplicative monoid of $n \times n$ matrices over a finite field. The monoid algebra $\mathbf{C}[\mathfrak{M}_n]$ has been studied for several decades. One of the important early results is Kov\'acs' theorem…
In this paper, we study length categories using iterated extensions. We consider the problem of classifying all indecomposable objects in a length category, and the problem of characterizing those length categories that are uniserial. We…
We revisit the study of the multiplets of the conformal algebra in any dimension. The theory of highest weight representations is reviewed in the context of the Bernstein-Gelfand-Gelfand category of modules. The Kazhdan-Lusztig polynomials…
In this article, we study the monoid of fractional ideals and the ideal class semigroup of an arbitrary given one dimensional normal domain O obtained by an infinite integral extension of a Dedekind domain. We introduce a notion of "upper…
These are notes of lectures given at UN Encuentro 2016 at the Colombia National University. We begin with the definition of infinite $W$-algebras. Then we explain the motivation for the definition if finite $W$-algebras. Then we present…
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…
We present a Myhill-Nerode theorem for hypergraphs. The theorem involves an operation which takes two input structures and produces a hypergraph as output. Using this operation, we define a Myhill-Nerode-type equivalence relation and show…
We decribe the correspondence between normalised $\omega$-operads and certain lax monoidal structures on the category of globular sets. As with ordinary monoidal categories, one has a notion of category enriched in a lax monoidal category.…
This survey provides an elementary introduction to operads and to their applications in homotopical algebra. The aim is to explain how the notion of an operad was prompted by the necessity to have an algebraic object which encodes higher…