Related papers: The root functor
We prove that for a topological operad $P$ the operad of oriented cubical chains, $C^{ord}_\ast(P)$, and the operad of singular chains, $S_\ast(P)$, are weakly equivalent. As a consequence, $C^{ord}_\ast(P;\mathbb{Q})$ is formal if and only…
Weak (Hopf) bialgebras are described as (Hopf) bimonoids in appropriate duoidal (also known as 2-monoidal) categories. This interpretation is used to define a category wba of weak bialgebras over a given field. As an application, the "free…
We identify the obstructions for the functoriality and the uniqueness of the totalization functor, (partially) defined on the category of simplicial objects in the homotopy category of a stable model category, and we use a result from the…
In recent work of Lindenhovius and Zamdzhiev, it was established that the category of complete operator spaces, with completely contractive linear maps as morphisms, is locally countably presentable. In this work, we extend their conclusion…
Consider a coring with exact rational functor, and a finitely generated and projective right comodule. We construct a functor (\emph{coinduction functor}) which is right adjoint to the hom-functor represented by this comodule. Using the…
We define a compressed zero-divisor graph $\varTheta(K)$ of a finite commutative unital ring $K$, where the compression is performed by means of the associatedness relation. We prove that this is the best possible compression which induces…
Let $C$ be a symmetrizable generalized Cartan matrix with symmetrizer $D$ and orientation $\Omega$. In previous work we associated an algebra $H$ to this data, such that the locally free $H$-modules behave in many aspects like…
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…
Conformal blocks, physical quantities of chiral 2d conformal field theory, are sheaves on the configuration spaces of the complex plane, which are mathematically formulated in terms of a vertex operator algebra, its modules and associated…
The homotopy category of $N_\infty$ operads is equivalent to a finite lattice, and as the ambient group varies, there are various image constructions between these lattices. In this paper, we explain how to lift this algebraic structure…
In this paper, we give precise mathematical form to the idea of a structure whose data and axioms are faithfully represented by a graphical calculus; some prominent examples are operads, polycategories, properads, and PROPs. Building on the…
The purpose of this paper is to study the derived category of simplicial multicategories with arbitrary sets of objects (also known as, colored operads in simplicial sets). Our main result is a derived Morita theory for operads-where we…
In the context of a weighted graph with vertex set $V$ and bounded vertex degree, we give a sufficient condition for the essential self-adjointness of the operator $\Delta_{\sigma}+W$, where $\Delta_{\sigma}$ is the magnetic Laplacian and…
We introduce the notion of a rank function on a triangulated category $\mathcal{C}$ which generalizes the Sylvester rank function in the case when $\mathcal{C}=\operatorname{Perf}(A)$ is the perfect derived category of a ring $A$. We show…
Our main result establishes functorial desingularization of noetherian quasi-excellent schemes over $\bfQ$ with ordered boundaries. A functorial embedded desingularization of quasi-excellent schemes of characteristic zero is deduced.…
We generalise the notion of subdivision of a finite-dimensional locally finite simplicial complex $X$ to geometric algebra, namely to the simplicially controlled categories $\mathbb{A}^*(X)$, $\mathbb{A}_*(X)$ of Ranicki and Weiss. We prove…
We show that in a locally lambda-presentable category, every lambda(m)-injectivity class (i.e., the class of all the objects injective with respect to some class of lambda-presentable morphisms) is a weakly reflective subcategory determined…
A topological space $A$ is said to be compatible with a set $\Sigma$ of equations (involving operation symbols $F_t$) iff there are continuous operations $\overline F_t$ identically satisfying $\Sigma$ on $A$. The paper's main focus is on…
We define the notion of Cartesian 2-fibrations, and prove a weak analogue of straightening. Using Barwick's notion of operator categories and the notion of a Cartesian 2-fibration, we extend the notion of $\infty$-operads to the…
We consider semisimple triangular operators acting in the symmetric component of the group algebra over the weight lattice of a root system. We present a determinantal formula for the eigenbasis of such triangular operators. This…