Related papers: The tensor embedding for a grothendieck cosmos

We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…

Let $V_*\otimes V\rightarrow\mathbb{C}$ be a non-degenerate pairing of countable-dimensional complex vector spaces $V$ and $V_*$. The Mackey Lie algebra $\mathfrak{g}=\mathfrak{gl}^M(V,V_*)$ corresponding to this paring consists of all…

We prove an analogue of the Gabriel--Quillen embedding theorem for exact $\infty$-categories, giving rise to a presentable version of Klemenc's stable envelope of an exact $\infty$-category. Moreover, we construct a symmetric monoidal…

Let $\mathcal C$ be closed symmetric monoidal Grothendieck category. We define the pure derived category with respect to the monoidal structure via a relative injective model category structure on the category $\mathbf{C}(\mathcal C)$ of…

In this article, we characterize convexity in terms of algebras over a PROP, and establish a tensor-product-like symmetric monoidal structure on the category of convex sets. Using these two structures, and the theory of $\scr{O}$-monoidal…

Grothendieck first defined the notion of a "motif" as a way of finding a universal cohomology theory for algebraic varieties. Although this program has not been realized, Voevodsky has constructed a triangulated category of geometric…

We provide various ways to characterise $\Sigma$-pure-injective objects in a compactly generated triangulated category. These characterisations mimic analogous well-known results from the model theory of modules. The proof involves two…

Given a locally coherent Grothendieck category G, we prove that the homotopy category of complexes of injective objects (also known as the coderived category of G) is compactly generated triangulated. Moreover, the full subcategory of…

Let A be a symmetric monoidal closed exact category. This category is a natural framework to define the notions of purity and flatness. We show that an object F in A is flat if and only if any conflation ending in F is pure. Furthermore, we…

We prove that any rigid additive symmetric monoidal category can be mapped to a rigid abelian symmetric monoidal category in a universal way. This yields a novel approach to Grothendieck's standard conjecture D and Voevodsky's smash…

Given a small abelian category $\mathcal{A}$, the Freyd-Mitchell embedding theorem states the existence of a ring $R$ and an exact full embedding $\mathcal{A} \rightarrow R$-Mod. This theorem is useful as it allows one to prove general…

The Grothendieck monoid of an exact category is a monoid version of the Grothendieck group. We use it to classify Serre subcategories of an exact category and to reconstruct the topology of a noetherian scheme. We first construct bijections…

The purpose of this note is to show that, if $\mathcal{V}$ is a closed monoidal category, the following three notions are equivalent. (1) Category with $\mathcal{V}$-structure and cylinder. (2) Tensored $\mathcal{V}$-category. (3)…

We compare closed and rigid monoidal categories. Closedness is defined by the tensor product having a right adjoint: the internal hom functor. Rigidity, on the other hand, generalises the duality of finite-dimensional vector spaces. In the…

A finite tensor category is called pointed if all its simple objects are invertible. We find necessary and sufficient conditions for two pointed semisimple categories to be dual to each other with respect to a module category. Whenever the…

The goal of the paper is to establish and to investigate a fully faithful embedding of the category of group operads into that of crossed interval groups. For this, we introduce a monoidal structure on the slice of the category of operads…

We introduce the notion of geometric purity in rigidly-compactly generated tt-categories by considering exact triangles that are pure at each tt-stalk. We develop a systematic study of this concept, including examples and applications. In…

We introduce both the notions of tensor product of convex bodies that contain zero in the interior, and of tensor product of $0$-symmetric convex bodies in Euclidean spaces. We prove that there is a bijection between tensor products of…

We aim to study Morita theory for tensor triangulated categories. For two finite tensor categories having no projective simple objects, we prove that their stable equivalence induced by an exact $\Bbbk$-linear monoidal functor can be lifted…

We give a full classification of all braided semisimple tensor categories whose Grothendieck semiring is the one of Rep(O(\infty) (formally), Rep(O(N), Rep(Sp(N) or of one of its associated fusion categories. If the braiding is not…