Related papers: The $\infty$-Categorical Eckmann-Hilton Argument

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…

We show a first rectification result for homotopy chain coalgebras over a field. On the one hand, we consider the $\infty$-category obtained by localizing differential graded coalgebras over an operad with respect to quasi-isomorphisms; on…

Working over a field $k$ of characteristic zero, the category of analytic contravariant functors on the category of finitely-generated free groups is shown to be equivalent to the category of representations of the $k$-linear category…

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…

Let $-\im\Lie_\T$ (essentially Lie derivative with respect to $\T$, a smooth nowhere zero real vector field) and $P$ be commuting differential operators, respectively of orders 1 and $m\geq 1$, the latter formally normal, both acting on…

We show how the $A_\infty$ class of weights can be considered as a metric space. As far as we know this is the first time that a metric d is considered on this set. We use this metric to generalize the results obtained in [9]. Namely, we…

Motivated by recent results regarding the equivalence of the Dirichlet and Neumann problems for the Laplace operator in the case of simply connected regions, the present paper takes a step further and provides a similar equivalence between…

We define $N_\infty$-operads in the globally equivariant setting and completely classify them. These global $N_\infty$-operads model intermediate levels of equivariant commutativity in the global world, i. e. in the setting where objects…

The associative operad is the quotient of the magmatic operad by the operad congruence identifying the two binary trees of degree $2$. We introduce here a generalization of the associative operad depending on a nonnegative integer $d$,…

A well-known theorem of Paulsen says that if $\mathcal{A}$ is a unital operator algebra and $\phi:\mathcal{A}\to B(\mathcal{H})$ is a unital completely bounded homomorphism, then $\phi$ is similar to a completely contractive map $\phi'$.…

We show that the unitary group of any SOT-separable $\mathrm{II}_1$ factor $M$, with the strong operator topology, is contractible. Combined with several old results, this implies that the same is true for any SOT-separable von Neumann…

The notion of interchange of two multiplicative structures on a topological space is encoded by the tensor product of the two operads parametrizing these structures. Intuitively one might thus expect that the tensor product of an E_m and an…

For a commutative ring $R$, we define the notions of deformed Picard algebroids and deformed twisted differential operators on a smooth, separated, locally of finite type $R$-scheme and prove these are in a natural bijection. We then define…

Symplectic reduction is reinterpreted as the composition of arrows in the category of integrable Poisson manifolds, whose arrows are isomorphism classes of dual pairs, with symplectic groupoids as units. Morita equivalence of Poisson…

Adjoint functor theorems give necessary and sufficient conditions for a functor to admit an adjoint. In this paper we prove general adjoint functor theorems for functors between $\infty$-categories. One of our main results is an…

Directed Algebraic Topology is beginning to emerge from various applications. The basic structure we shall use for such a theory, a 'd-space', is a topological space equipped with a family of 'directed paths', closed under some operations.…

In arXiv:1712.00555, H. Heine shows that given a symmetric monoidal $\infty$-category $\mathcal{V}$ and a weakly $\mathcal{V}$-enriched monad $T$ over an $\infty$-category $\mathcal{C}$, then there is an induced action of $\mathcal{V}$ on…

Let $\mathcal{A}$ be an abelian category and $\mathcal{B}$ be the Happel-Reiten-Smal{\o} tilt of $\mathcal{A}$ with respect to a torsion pair. We give necessary and sufficient conditions for the existence of a derived equivalence between…

Recently, Hartz proved that every commuting contractive classical multishift with non-zero weights satisfies the matrix-version of von Neumann's inequality. We show that this result does not extend to the class of commuting operator-valued…

Batanin defines a weak $\omega$-category as an algebra for a certain operad. Leinster refines this idea and defines the weak $\omega$-category operad as the initial object of a category of "operads with contraction". We demonstrate how a…