Related papers: $\mathbb{E}_n$-algebras in m-categories
We develop further our fibre bundle construct of non-commutative space-time on a Minkowski base space. We assume space-time is non-commutative due to the existence of additional non-commutative algebraic structure at each point x of…
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…
We prove that a finite braided tensor category A is invertible in the Morita 4-category BrTens of braided tensor categories if, and only if, it is non-degenerate. This includes the case of semisimple modular tensor categories, but also…
We establish a new and surprisingly strong link between two previously unrelated theories: the theory of moduli spaces of curves ${\mathcal M}_{g,n}$ (which, according to Penner, is controlled by the ribbon graph complex) and the homotopy…
We construct a generalised notion of Kac-Moody algebras using smooth maps from the non-compact manifolds ${\cal M}=$SL$(2,\mathbb R)$ and ${\cal M}=$ SL$(2,\mathbb R)/U(1)$ to a finite-dimensional simple Lie group $G$. This construction is…
We analyse the extent of possible computations following Hogarth in Malament-Hogarth (MH) spacetimes, and Etesi and N\'emeti in the special subclass containing rotating Kerr black holes. Hogarth had shown that any arithmetic statement could…
In this paper we introduce the concept of L-algebras, which can be seen as a generalization of the structure determined by the Eilenberg-Mac lane transformation and Alexander-Whitney diagonal in chain complexes. In this sense, our main…
Suppose an extension map $U\colon \mathbb{T}_1 \to \mathbb{T}_0$ in the 2-category $\mathfrak{Con}$ of contexts for arithmetic universes satisfies a Chevalley criterion for being an (op)fibration in $\mathfrak{Con}$. If $M$ is a model of…
We prove a general criterion for a von Neumann algebra $M$ in order to be in standard form. It is formulated in terms of an everywhere defined, invertible, antilinear, a priori not necessarily bounded operator, intertwining $M$ with its…
Harry Buhrman et al gave an Omega(sqrt n) lower bound for monotone graph properties in the adjacency matrix query model. Their proof is based on the polynomial method. However for some properties stronger lower bounds exist. We give an…
This is the second of two papers but has been written so as to have minimal dependence on the first paper (which is also on this archive). Let G be a group and let M be a CAT(0) proper metric space (e.g. a simply connected complete…
It is well known that the forgetful functor from symmetric operads to nonsymmetric operads has a left adjoint $Sym_1$ given by product with the symmetric group operad. It is also well known that this functor does not affect the category of…
We prove a boundedness criterion for a class of dyadic multilinear forms acting on two-dimensional functions. Their structure is more general than the one of classical multilinear Calder\'{o}n-Zygmund operators as several functions can now…
We affirm and generalize a conjecture of Blumberg and Hill: unital weak $\mathcal{N}_\infty$-operads are closed under $\infty$-categorical Boardman-Vogt tensor products and the resulting tensor products correspond with joins of weak…
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"…
We introduce a general notion of enrichment for homotopy-coherent algebraic structures described by Segal conditions, using the framework of "algebraic patterns" developed in our previous work. This recovers several known examples of…
We consider and characterize classes of finite and countably categorical structures and their theories preserved under $E$-operators and $P$-operators. We describe $e$-spectra and families of finite cardinalities for structures belonging to…
We give a framework for comparing on the one hand theories of n-categories that are weakly enriched operadically, and on the other hand n-categories given as algebras for a contractible globular operad. Examples of the former are the…
We show that Klemenc's stable envelope of exact $\infty$-categories induces an equivalence between stable $\infty$-categories with a bounded heart structure and weakly idempotent complete exact $\infty$-categories. Moreover, we generalise…
For all positive integers $n$ and all homotopy modules $M_*$, we define certain operations $\underline{\operatorname{K}}^{\operatorname{MW}}_n \rightarrow M_*$ and show that these generate the $M_*(k)$-module of all (in general…