Related papers: Categorifying the algebra of indexing systems

This paper proves that the homotopy type of a pointed, simply-connected, 2-reduced simplicial set is determined by the chain-complex augmented by functorial diagonal and higher diagonal maps (a simple generalization of the ones used to…

Curved algebras are algebras endowed with a predifferential, which is an endomorphism of degree -1 whose square is not necessarily 0. This makes the usual definition of quasi-isomorphism meaningless and therefore the homotopical study of…

To every homotopy n-nilpotent group, defined in earlier work by Dwyer and the author, we associate an endofunctor of pointed spaces and prove that it is looped and n-excisive. As a tool we prove that $\Omega P_n({\rm id})$ commutes with…

We survey Lawvere theories at the level of infinity categories, as an alternative framework for higher algebra (rather than infinity operads). From a pedagogical perspective, they make many key definitions and constructions less technical.…

We show that the Kontsevich operad, as an operad with multiplication, provides a model for the Taylor tower of the functor defined by taking the homotopy fiber of the inclusion of embeddings of an interval in a cube to the corresponding…

We establish a non-commutative version of the Intermediate Factor Theorem for crossed products associated with product lattices. Given an irreducible lattice $\Gamma < G= G_1 \times \dots \times G_d$ in higher rank semisimple algebraic…

Given two Lie $\infty$-algebras $E$ and $V$, any Lie $\infty$-action of $E$ on $V$ defines a Lie $\infty$-algebra structure on $E\oplus V$. Some compatibility between the action and the Lie $\infty$-structure on $V$ is needed to obtain a…

A new class of $A^{(1)}_n$ integrable lattice models is presented. These are interaction-round-a-face models based on fundamental nimrep graphs associated with the $A^{(1)}_n$ conjugate modular invariants, there being a model for each value…

We introduce simple models for associative algebras and bimodules in the context of non-symmetric $\infty$-operads, and use these to construct an $(\infty,2)$-category of associative algebras, bimodules, and bimodule homomorphisms in a…

By a pointed vertex operator algebra (VOA) we mean one whose modules are all simple currents (i.e. invertible), e.g. lattice VOAs. This paper systematically explores the interplay between their orbifolds and tensor category theory. We begin…

We show that in a weak globular $\omega$-category, all composition operations are equivalent and commutative for cells with sufficiently degenerate boundary, which can be considered a higher-dimensional generalisation of the Eckmann-Hilton…

We investigate how the notions of pairings of operads of May and compatible pairs of indexing systems of Blumberg--Hill relate via the correspondence between indexing systems and $N_{\infty}$-operads. We show that a pairing of operads…

A function from configuration space to moduli space of surface may induce a homomorphism between their fundamental groups which are braid groups and mapping class groups of surface, respectively. This map $\phi: B_k \rightarrow…

We show that categories of modules over a ring in Homotopy Type Theory (HoTT) satisfy the internal versions of the AB axioms from homological algebra. The main subtlety lies in proving AB4, which is that coproducts indexed by arbitrary sets…

There is a free construction from multicategories to permutative categories, left adjoint to the endomorphism multicategory construction. The main result shows that these functors induce an equivalence of homotopy theories. This result…

We briefly report on our result that the braided tensor product algebra of two module algebras $A_1,A_2$ of a quasitriangular Hopf algebra $H$ is equal to the ordinary tensor product algebra of $H_1$ with a subalgebra isomorphic to $A_2$…

The star product usually associated to the Snyder model of noncommutative geometry is nonassociative, and this property prevents the construction of a proper Hopf algebra. It is however possible to introduce a well-defined Hopf algebra by…

We present a novel approach to the problem of integrating homotopy Lie algebras by representing the Maurer-Cartan space functor with a universal cosimplicial object. This recovers Getzler's original functor but allows us to prove the…

In this article, we introduce the notion of a curved absolute $\mathcal{L}_\infty$-algebra, a structure that behaves like a curved $\mathcal{L}_\infty$-algebra where all infinite sums of operations are well-defined by definition. We develop…

We define and study binary operations for homotopy groups with coefficients. We give conditions to prove that certain binary operations are the homomorphic image of the generalized Whitehead product. This allows carrying over properties of…