Related papers: Operadic Fibrations and Unary Operadic 2-categorie…
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…
Involutive category theory provides a flexible framework to describe involutive structures on algebraic objects, such as anti-linear involutions on complex vector spaces. Motivated by the prominent role of involutions in quantum (field)…
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…
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…
We study categorial properties of the operadic twisting functor Tw. In particular, we show that Tw is a comonad. Coalgebras of this comonad are operads for which a natural notion of twisting by Maurer-Cartan elements exists. We give a large…
In this article is studied the construction of free operads functor, for the symmetric and non-symmetric case. In order to do this, the operads are seen as monoids on the differential graded modules category. In the last part we show some…
We argue that operads provide a general framework for dealing with polynomials and combinatory completeness of combinatory algebras, including the classical $\mathbf{SK}$-algebras, linear $\mathbf{BCI}$-algebras, planar…
This paper is an introduction to a series of papers in which we give combinatorial models for certain important operads (including A-infinity and E-infinity operads, the little n-cubes operads, and the framed little disks operad) and…
Curved algebras are a generalization of differential graded algebras which have found numerous applications recently. The goal of this foundational article is to introduce the notion of a curved operad, and to develop the operadic calculus…
We resolve the long-standing problem of constructing the action of the operad of framed (stable) genus-$0$ curves on Hamiltonian Floer theory; this operad is equivalent to the framed $E_2$ operad. We formulate the construction in the…
We tackle the problem of constructing $R$-matrices for the category $\mathcal{O}$ associated to the Borel subalgebra of an arbitrary untwisted quantum loop algebra $U_q(\mathfrak{g})$. For this, we define an exact functor $\mathcal{F}_q$…
We develop some basic concepts in the theory of higher categories internal to an arbitrary $\infty$-topos. We define internal left and right fibrations and prove a version of the Grothendieck construction and of Yoneda's lemma for internal…
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 show that a certain class of categorical operads give rise to $E_n$-operads after geometric realization. The main arguments are purely combinatorial and avoid the technical topological assumptions otherwise found in the literature.
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…
It is shown how double categories provide a direct abstract approach to coloured operads; namely, product-preserving normal lax functors from (Pb C)^op (the opposite of the double category of pullback squares in C) to Cat (the double…
We set the foundations of a theory of Grothendieck $(\infty,2)$-topoi based on the notion of fibrational descent, which axiomatizes both the existence of a classifying object for fibrations internal to an $(\infty,2)$-category as well as…
For a category B with finite products, we first characterize pseudofunctors from B to Cat whose corresponding opfibration is cartesian monoidal. Among those, we then characterize the ones which extend to pseudofunctors from internal groups…
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…
We study monoidal categories that enjoy a certain weakening of the rigidity property, namely, the existence of a dualizing object in the sense of Grothendieck and Verdier. We call them Grothendieck-Verdier categories. Notable examples…