Related papers: Comparing operadic theories of $n$-category

It is well known that braided monoidal categories are the categorical algebras of the little two-dimensional disks operad. We introduce involutive little disks operads, which are Z/2Z-orbifold versions of the little disks operads. We…

This is the first paper of a series which aims to set up the cornerstones of Koszul duality for operads over operadic categories. To this end we single out additional properties of operadic categories under which the theory of quadratic…

This paper introduces a skew variant of the notion of enriched category, suitable for enrichment over a skew-monoidal category, the main novelty of which is that the elements of the enriched hom-objects need not be in bijection with the…

This thesis provides an introduction to the various category theory ideas employed in topological quantum field theory. These theories are viewed as symmetric monoidal functors from topological cobordism categories into the category of…

We define a new equivalence between algebras for n-globular operads which is suggested in [Cottrell 2015], and show that it is a generalization of ordinary equivalence between categories.

We use Lurie's symmetric monoidal envelope functor to give two new descriptions of $\infty$-operads: as certain symmetric monoidal $\infty$-categories whose underlying symmetric monoidal $\infty$-groupoids are free, and as certain symmetric…

We use type-theoretic techniques to present an algebraic theory of $\infty$-categories with strict units. Starting with a known type-theoretic presentation of fully weak $\infty$-categories, in which terms denote valid operations, we extend…

Operads were originally defined by May to have right actions of the symmetric groups, but later formulations have also used no groups actions at all or group actions by such families as the braid groups. We call such families action…

Let $V$ be a vertex operator algebra satisfying suitable conditions such that in particular its module category has a natural vertex tensor category structure, and consequently, a natural braided tensor category structure. We prove that the…

This article develops a practical technique for studying representations of $\Bbbk$-linear categories arising in the categorification of quantum groups. We work in terms of locally unital algebras which are $\mathbb{Z}$-graded with graded…

We study the operadic and categorical formulations of (conformal) full field algebras. In particular, we show that a grading-restricted $\R\times \R$-graded full field algebra is equivalent to an algebra over a partial operad constructed…

The purpose of this paper is to give a characterisation of divided power algebras over a reduced operad. Such a characterisation is given in terms of polynomial operations, following the classical example of divided power algebras. We…

A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible…

We study semi-strict tricategories in which the only weakness is in vertical composition. We construct these as categories enriched in the category of bicategories with strict functors, with respect to the cartesian monoidal structure. As…

We review the construction of braided tensor categories and modular tensor categories from representations of vertex operator algebras, which correspond to chiral algebras in physics. The extensive and general theory underlying this…

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…

In this thesis, we present a flexible framework for specifying and constructing operads which are suited to reasoning about network construction. The data used to present these operads is called a \emph{network model}, a monoidal variant of…

Let $A$ be an algebra over an operad in a cocomplete closed symmetric monoidal category. We study the category of $A$-modules. We define certain symmetric product functors of such modules generalising the tensor product of modules over…

This paper discusses the question of how to recognize whether an operad is E_n (ie. equivalent to the little n-cubes operad). A construction is given which produces many new examples of E_n operads. This construction is developed in the…

We propose a new unified framework for Thompson-like groups using a well-known device called operads and category theory as language. We discuss examples of operad groups which have appeared in the literature before. As a first application,…