Related papers: Unital k-Restricted Infinity-Operads

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…

We introduce an operad of formal fractions, abstracted from the Mould operads and containing both the Dendriform and the Tridendriform operads. We consider the smallest set-operad contained in this operad and containing four specific…

Many homotopy-coherent algebraic structures can be described by Segal-type limit conditions determined by an "algebraic pattern", bywhich we mean an $\infty$-category equipped with a factorization system and a collection of "elementary"…

In a pervious paper Weidmann shows that there a bound on the number of orbits of edges in a tree on which a finitely generated group acts $(k,C)$-acylindrically. In this paper we extend this result to actions which are $k$-acylindrical…

In a first part of this paper, we introduce a homology theory for infinity-operads and for dendroidal spaces which extends the usual homology of differential graded operads defined in terms of the bar construction, and we prove some of its…

We study several classes of operadic ideals of the unital associative algebra operad $\uas$. As an application, we classify quotient operads of $\uas$ of GK-dimension $\leq 6$. This corresponds to a classification of all T-ideals of…

We define a notion of $\infty$-properads that generalises $\infty$-operads by allowing operations with multiple outputs. Specializing to the case where each operation has a single output provides a simple new perspective on…

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…

Infinitesimal deformations are governed by partition Lie algebras. In characteristic $0$, these higher categorical structures are modelled by differential graded Lie algebras, but in characteristic $p$, they are more subtle. We give…

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…

Unitarity cannot be perserved order by order in ordinary perturbation theory because the constraint $UU^\dagger=\1$ is nonlinear. However, the corresponding constraint for $K=\ln U$, being $K=-K^\dagger$, is linear so it can be maintained…

The goal of this memoir is to prove that the bar complex B(A) of an E-infinity algebra A is equipped with the structure of a Hopf E-infinity algebra, functorially in A. We observe in addition that such a structure is homotopically unique…

Ore operators with polynomial coefficients form a common algebraic abstraction for representing D-finite functions. They form the Ore ring $K(x)[D_x]$, where $K$ is the constant field. Suppose $K$ is the quotient field of some principal…

In this paper we consider those involutions $\theta$ of a finite-dimensional Kac-Moody Lie superalgebra $\mathfrak g$, with associated decomposition $\mathfrak g=\mathfrak k\oplus\mathfrak p$, for which a Cartan subspace $\mathfrak a$ in…

We apply a special case, the restriction principle (for which we give a definition simpler than the usual one), of a basic result in functional analysis (the polar decomposition of an operator) in order to define $C_{\mu, t}$, the…

In this paper we prove that Dirac operators on non-compact complete orbifolds which are sufficiently regular at infinity, admit a unique extension. Additonally, we prove a generalized orbifold Stokes'/Divergence theorem.

We provide details of the proof of Lurie's theorem on operadic Kan extensions. Along the way, we generalize the construction of monoidal envelopes of $\infty$-operads to families of $\infty$-operads and use it to construct the fiberwise…

We introduce unary operadic 2-categories as a framework for operadic Grothendieck construction for categorical $\mathbb{O}$-operads, $\mathbb{O}$ being a unary operadic category. The construction is a fully faithful functor…

We introduce a K-theoretic invariant for actions of unitary fusion categories on unital C*-algebras. We show that for inductive limits of finite dimensional actions of fusion categories on unital AF-algebras, this is a complete invariant.…

We show that the restriction functor from oriented factor planar algebras to subfactor planar algebras admits a left adjoint, which we call the free oriented extension functor. We show that for any subfactor planar algebra realized as the…