Related papers: The weight complex functor is symmetric monoidal
Coherence in a monoidal category asserts that all morphisms built from structural isomorphisms with a fixed source and target coincide. These structural isomorphisms include, in particular, the associators. Linearly distributive categories…
We explain why every non-trivial exact tensor functor on the triangulated category of mixed motives over a field F has zero kernel, if one assumes "all" motivic conjectures. In other words, every non-zero motive generates the whole category…
Suppose we are given complex manifolds $X$ and $Y$ together with substacks $\mathcal{S}$ and $\mathcal{S}'$ of modules over algebras of formal deformation $\mathcal{A}$ on $X$ and $\mathcal{A}'$ on $Y$, respectively. Suppose also we are…
A symmetric monoidal category is a category equipped with an associative and commutative (binary) product and an object which is the unit for the product. In fact, those properties only hold up to natural isomorphisms which satisfy some…
We introduce a variant on the graphical calculus of Cockett and Seely for monoidal functors and illustrate it with a discussion of Tannaka reconstruction, some of which is known and some of which is new. The new portion is: given a…
Liftable pairs of adjoint functors between braided monoidal categories in the sense of \cite{GV-OnTheDuality} provide auto-adjunctions between the associated categories of bialgebras. Motivated by finding interesting examples of such pairs,…
We prove the theorem stated in the title. More precisely, we show the stronger statement that every symmetric monoidal left adjoint functor between presentably symmetric monoidal infinity-categories is represented by a strong symmetric…
We study certain triangulated categories of $K$-motives $DK(-)$ over a wide class of base schemes, and define certain "weights" for them. We relate the weights of particular $K$-motives to (negative) homotopy invariant $K$-groups (tensored…
The main objective of the present paper is to present a version of the Tannaka-Krein type reconstruction Theorems: If $F:B\to C$ is an exact faithful monoidal functor of tensor categories, one would like to realize $B$ as category of…
A pointed fusion category is a rigid tensor category with finitely many isomorphism classes of simple objects which moreover are invertible. Two tensor categories $C$ and $D$ are weakly Morita equivalent if there exists an indecomposable…
We construct the strong weight complex functor (in the sense of Bondarko) for a stable infinity-category $\underline{C}$ equipped with a bounded weight structure $w$. Along the way we prove that $\underline{C}$ is determined by the…
We establish a large class of homotopy coherent Morita-equivalences of Dold-Kan type relating diagrams with values in any weakly idempotent complete additive $\infty$-category; the guiding example is an $\infty$-categorical Dold-Kan…
We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…
We provide conditions on a monoidal model category $\mathcal{M}$ so that the category of commutative monoids in $\mathcal{M}$ inherits a model structure from $\mathcal{M}$ in which a map is a weak equivalence or fibration if and only if it…
We give a construction of triangulated categories as quotients of exact categories where the subclass of objects sent to zero is defined by a triple of functors. This includes the cases of homotopy and stable module categories. These…
We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a…
Let $\V$ be a symmetric monoidal model category and let $X$ be an object in $\V$. From this we can construct a new symmetric monoidal model category $Sp^{\Sigma}(\V,X)$ of symmetric spectra objects in $\V$ with respect to $X$, together with…
A complex $C^\bullet(C,D)(F,G)(\eta, \theta)$, generalising the Davydov-Yetter complex of a monoidal category, is constructed. Here $C,D$ are $\Bbbk$-linear (dg) monoidal categories, $F,G\colon C\to D$ are $\Bbbk$-linear (dg) strict…
In this paper we propose a construction of a monoidal category of "free-monodromic" tilting perverse sheaves on (Kac-Moody) flag varieties in the setting of the "mixed modular derived category" introduced by the first and third authors.…
For any algebra morphism in a monoidal category, we provide sufficient conditions (which are also necessary if the unit is a left tensor generator) for the attached induction functor being semiseparable. Under mild assumptions, we prove…