Related papers: Lecture notes on infinity-properads
A theory of $\infty$-properads is developed, extending both the Joyal-Lurie $\infty$-categories and the Cisinski-Moerdijk-Weiss $\infty$-operads. Every connected wheel-free graph generates a properad, giving rise to the graphical category…
These notes represent the transcript of three, 90 minute lectures given by the second author at the CRM in Barcelona in 2021 as part of the "Higher Structures and Operadic Calculus" workshop. The goal of the series was to introduce and…
This note is an introduction to several generalizations of the dendroidal sets of Moerdijk--Weiss. Dendroidal sets are presheaves on a category of rooted trees, and here we consider indexing categories whose objects are other kinds of…
We develop a theory of infinity properads enriched in a general symmetric monoidal infinity category. These are defined as presheaves, satisfying a Segal condition and a Rezk completeness condition, over certain categories of graphs. In…
Dendroidal sets offer a formalism for the study of $\infty$-operads akin to the formalism of $\infty$-categories by means of simplicial sets. We present here an account of the current state of the theory while placing it in the context of…
Monads are of interest both in semantics and in higher dimensional algebra. It turns out that the idea behind usual notion finitary monads (whose values on all sets can be computed from their values on finite sets) extends to a more general…
These are expanded lecture notes from lectures given at the Workshop on higher structures at MATRIX Melbourne. These notes give an introduction to Feynman categories and their applications. Feynman categories give a universal categorical…
The theory of operads (May, cyclic, modular, PROPs, etc) is extended to include higher dimensional phenomena, i.e. operations between operations, mimicking the algebraic structure on varieties of arbitrary dimensions, having marked…
In this paper, we give precise mathematical form to the idea of a structure whose data and axioms are faithfully represented by a graphical calculus; some prominent examples are operads, polycategories, properads, and PROPs. Building on the…
We study the categories governing infinity (wheeled) properads. The graphical category, which was already known to be generalized Reedy, is in fact an Eilenberg-Zilber category. A minor alteration to the definition of the wheeled graphical…
Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. It draws its inspiration from areas as diverse as topology, quantum algebra, mathematical physics,…
A general notion of operad is given, which includes as instances, the operads originally conceived to study loop spaces, as well as the higher operads that arise in the globular approach to higher dimensional algebra. In the framework of…
We show how the model structure on the category of simplicially-enriched (colored) props induces a model structure on the category of simplicially-enriched (colored) properads. A similar result holds for dioperads.
These are notes for four lectures on higher structures in M-theory as presented at workshops at the Erwin Schroedinger Institute and Tohoku University. The first lecture gives an overview of systems of multiple M5-branes and introduces the…
Modular operads are an extension of operads. In the same way that operads, as dendroidal sets, can be considered as presheaves over the category of trees, so can modular operads be considered as presheaves over a category of graphs. This…
The homotopy theory of infinity-operads is defined by extending Joyal's homotopy theory of infinity-categories to the category of dendroidal sets. We prove that the category of dendroidal sets is endowed with a model category structure…
A categorical formalism for directed graphs is introduced, featuring natural notions of morphisms and subgraphs, and leading to two elementary descriptions of the free-properad monad, first in terms of presheaves on elementary graphs,…
In this paper we initiate the study of enriched $\infty$-operads. We introduce several models for these objects, including enriched versions of Barwick's Segal operads and the dendroidal Segal spaces of Cisinski and Moerdijk, and show these…
In this work, we study symplectic structures on graded manifolds and their global counterparts, higher Lie groupoids. We begin by introducing the concept of graded manifold, starting with the degree 1 case, and translating key geometric…
Higher structures - infinity algebras and other objects up to homotopy, categorified algebras, `oidified' concepts, operads, higher categories, higher Lie theory, higher gauge theory... - are currently intensively investigated in…