Related papers: 2-fold complete Segal operads

We define complete Segal objects, which play the role of internal higher category objects. Then we study them using representable Cartesian fibrations, in particular defining adjunctions and limits of complete Segal objects. Finally we use…

Starting with an O(2)-principal fibration over a closed oriented surface F_g, g>=1, a 2-fold covering of the total space is said to be special when the monodromy sends the fiber SO(2) = S^1 to the nontrivial element of Z_2. Adapting D…

We give a definition of an operad with general groups of equivariance suitable for use in any symmetric monoidal category with appropriate colimits. We then apply this notion to study the 2-category of algebras over an operad in Cat. We…

We show that normalized cacti form an $\infty$-operad in the form of a dendroidal space satisfying a weak Segal condition. To do this, we introduce a new topological operad of bracketed trees and an enrichment of the dendroidal category…

If $X$ is a 2-Segal set, then the edgewise subdivision of $X$ admits a factorization system coming from upper and lower d\'ecalage. Using the correspondence between 2-Segal sets and unary operadic categories satisfying the blow-up axiom,…

Some basic features of the simultaneous inclusion of discrete fibrations and discrete opfibrations on a category A in the category of categories over A are studied; in particular, the reflections and the coreflections of the latter in the…

We characterize the exponentiable objects for a wide range of structures prevalent in $\infty$-categorical algebra, extending the construction of Day convolution to more general structures than $\infty$-operads. More precisely, we give a…

We give an explicit description of the rigidification of an $\infty$-operad as a simplicial operad. This description is based on the notion of dendroidal necklace, extending work of Dugger and Spivak from the categorical context to the…

Recently Riehl and Verity have introduced $\infty$-cosmoi, which are certain simplicially enriched categories with additional structure. In this paper we investigate those $\infty$-cosmoi which are in fact $2$-categories; we shall refer to…

This lecture series is based on joint work in progress with Shaul Barkan, as well as work in progress of the author. The five sections of these notes correspond to the five lectures, but more details have been added. $2$-dimensional…

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…

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 paper, we address the construction of homotopy bicategories of $(\infty,2)$-categories, which we take as being modeled by 2-fold Segal spaces. Our main result is the concrete construction of a functor $h_2$ from the category of…

We generalise the usual notion of fibred category; first to fibred 2-categories and then to fibred bicategories. Fibred 2-categories correspond to 2-functors from a 2-category into 2-Cat. Fibred bicategories correspond to trihomomorphisms…

We develop further the theory of operads and analytic functors. In particular, we introduce a bicategory that has operads as 0-cells, operad bimodules as 1-cells and operad bimodule maps as 2-cells, and prove that this bicategory is…

Waldhausen's $S_\bullet$-construction gives a way to define the algebraic $K$-theory space of a category with cofibrations. Specifically, the $K$-theory space of a category with cofibrations $\mathcal{C}$ can be defined as the loop space of…

We develop an $\infty$-categorical version of the classical theory of polynomial and analytic functors, initial algebras, and free monads. Using this machinery, we provide a new model for $\infty$-operads, namely $\infty$-operads as…

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 and studies split two-sided 2-fibrations and locally discrete split two-sided 2-fibrations, using a formal categorical approach. We generalise Street's notion of split two-sided fibration internal to a 2-category to…

We compare two models for $\infty$-operads: the complete Segal operads of Barwick and the complete dendroidal Segal spaces of Cisinski and Moerdijk. Combining this with comparison results already in the literature, this implies that all…