Related papers: 2-fold complete Segal operads

We define and study the $(\infty,2)$-category $\mathbf{Cat}_{\infty}(\mathcal{C})$ of $(\infty,1)$-categories internal to a general $(\infty,1)$-category $\mathcal{C}$ via an associated externalization construction. In the first part, we…

In this paper, we introduce the theory of Rota-Baxter operators on Clifford semigroups, useful tools for obtaining dual weak braces, i.e., triples $\left(S,+,\circ\right)$ where $\left(S,+\right)$ and $\left(S,\circ\right)$ are Clifford…

We make use of the cotangent complex formalism developed by Lurie to formulate Quillen cohomology of algebras over an enriched operad. Additionally, we introduce a spectral Hochschild cohomology theory for enriched operads and algebras over…

In this work, we study the notion of cofinal functor of $\infty$-bicategories with respect to the theory of partially lax colimits. The main result of this paper is a characterization of cofinal functors of $\infty$-bicategories via…

We give a gentle introduction to the concept of folding. That is, we provide an elementary discussion of equivariant categories, their weighted Grothendieck groups, and the technical aspects of computing with them. We then perform the…

We study 3d $\mathcal{N}=2$ supersymmetric gauge theories on closed oriented Seifert manifold---circle bundles over an orbifold Riemann surface---, with a gauge group G given by a product of simply-connected and/or unitary Lie groups. Our…

We study two dimensional conformal field theories in the semiclassical limit. In this limit, the four-point function is dominated by intermediate primaries of particular weights along with their descendants, and the crossing equations…

We prove the $r$-spin cobordism hypothesis in the setting of (weak) 2-categories for every positive integer $r$: The 2-groupoid of 2-dimensional fully extended $r$-spin TQFTs with given target is equivalent to the homotopy fixed points of…

This book is an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory. A review of basic category theory is followed by a systematic discussion of 2-/bicategories, pasting diagrams, lax…

We construct model structures on cyclic dendroidal sets and cyclic dendroidal spaces for cyclic quasi-operads and complete cyclic dendroidal Segal spaces, respectively. We show these models are Quillen equivalent to the model structure for…

In this article, the authors establish a general (two-weight) boundedness criterion for a pair of functions, $(F,f)$, on $\mathbb{R}^n$ in the scale of weighted Lebesgue spaces, weighted Lorentz spaces, (Lorentz--)Morrey spaces, and…

The geometry of the total space of a principal bundle with regard to the action of the bundle's structure group is elegantly described by the bundle's operation, a collection of derivations consisting of the de Rham differential and the…

In this short expository note, we discuss, with plenty of examples, the bestiary of fibrations in quasicategory theory. We underscore the simplicity and clarity of the constructions these fibrations make available to end-users of higher…

Many structures of interest in two-dimensional category theory have aspects that are inherently strict. This strictness is not a limitation, but rather plays a fundamental role in the theory of such structures. For instance, a monoidal…

The purpose of this note is to clarify some details in McDuff and Segal's proof of the group-completion theorem and to generalize both this and the homology fibration criterion of McDuff to homology with twisted coefficients. This will be…

The first goal of this survey paper is to argue that if orbifolds are groupoids, then the collection of orbifolds and their maps has to be thought of as a 2-category. Compare this with the classical definition of Satake and Thurston of…

In a recent paper, the author defined an operation of tensor product for a large class of $2$-representations of $\mathcal{U}^{+}$, the positive half of the $2$-category associated to $\mathfrak{sl}_{2}$. In this paper, we prove that the…

It is well-known that the "pre-2-category" $\mathscr{C}at_\mathrm{dg}^\mathrm{coh}(k)$ of small dg categories over a field $k$, with 1-morphisms defined as dg functors, and with 2-morphisms defined as the complexes of coherent natural…

We introduce a new notion of recursively generated enriched term which generalizes the one studied in joint work with Rosick\'y. These new terms come together with a notion of term-interpretability, which recovers the same type of…

We extend the theory of d-categories, by providing an explicit description of the right mapping spaces of the d-homotopy category of an $\infty$-category. Using this description, we deduce an invariant $\infty$-categorical characterization…