Related papers: $\mathbb{E}_n$-algebras in m-categories
The normalized cochain complex of a simplicial set N^*(Y) is endowed with the structure of an E_{infinity} algebra. More specifically, we prove in a previous article that N^*(Y) is an algebra over the Barratt-Eccles operad. According to M.…
The bootstrap category in E-theory for C*-algebras over a finite space X is embedded into the homotopy category of certain diagrams of K-module spectra. Therefore it has infinite n-order for every n. The same holds for the bootstrap…
The purpose of this memoir is to study pre-Lie algebras up to homotopy with divided powers, and to use this algebraic structure for the study of mapping spaces in the category of operads. We define a new notion of algebra called…
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 define closed model category structures on different categories connected to the world of operad algebras over the category C(k) of (unbounded) complexes of k-modules: on the category of operads, on the category of algebras over a fixed…
We propose a new unifying framework for Thompson-like groups using a well-known device called operads and category theory as language. We discuss examples of operad groups which have appeared in the literature before. As a first…
We study connections between closure operators on an algebra $(A,\Om)$ and congruences on the extended power algebra defined on the same algebra. We use these connections to give an alternative description of the lattice of all subvarieties…
We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an…
A $k$-connectivity oracle for a graph $G=(V,E)$ is a data structure that given $s,t \in V$ determines whether there are at least $k+1$ internally disjoint $st$-paths in $G$. For undirected graphs, Pettie, Saranurak & Yin [STOC 2022, pp.…
We give a definition of weak n-categories based on the theory of operads. We work with operads having an arbitrary set S of types, or `S-operads', and given such an operad O, we denote its set of operations by elt(O). Then for any S-operad…
Motivated by the operad built from moduli spaces of Riemann surfaces, we consider a general class of operads in the category of spaces that satisfy certain homological stability conditions. We prove that such operads are infinite loop space…
Connectivity is a homotopy invariant property of separable C*-algebras which has three notable consequences: absence of nontrivial projections, quasidiagonality and a more geometric realization of KK-theory for nuclear C*-algebras using…
We prove that the category of McKinsey-Tarski algebras is not equivalent to a variety of algebras, thus answering a question of Peter Jipsen in the negative. More generally, we show that various categories of BAOs (boolean algebras with an…
The theory of dendroidal sets has been developed to serve as a combinatorial model for homotopy coherent operads by Moerdijk and Weiss. An infinity-operad is a dendroidal set D satisfying certain lifting conditions. In this paper we give a…
We consider categories of relational structures that fully embed every category of universal algebras, and prove a partial characterisation of these in terms of an infinitary variant of the notion of nowhere density of Ne\v{s}et\v{r}il and…
We derive a new upper bound on the algebraic connectivity of a regular graph using the Higman-Sims technique. Together with a new result on the connectivity of the neighbourhood graph of strongly regular graphs, our result gives a…
The aim of this paper is to construct an $E_\infty$-operad inducing an $E_\infty$-coalgebra structure on chain complexes with coefficients in $\mathbb{Z}$, which is an alternative description to the $E_\infty$-coalgebra by the Barrat-Eccles…
The aim of this paper is to give a new method to construct explicit formulas for algebraic differential operators of any order on a finitely generated projective module $E$ on a commutative unital ring $A$. We moreover give explicit…
We define a notion of a connectivity structure on an $\infty$-category, analogous to a $t$-structure but applicable in unstable contexts -- such as spaces, or algebras over an operad. This allows us to generalize notions of n-skeleta,…
In this paper, we describe a general theory of modules over an algebra over an operad. We also study functors between categories of modules. Specializing to the operad E_d of little d-dimensional disks, we show that each (d-1)-manifold…