Related papers: On integral schemes over symmetric monoidal catego…

We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…

Let R be a semi-local regular domain containing an infinite perfect field k, and let K be the field of fractions of R. Let G be a reductive semi-simple simply connected R-group scheme such that each of its R-indecomposable factors is…

Let $\mathfrak{a}$ be an ideal of a commutative noetherian (not necessarily local) ring $R$. In the case $\cd(\mathfrak{a},R)\leq 1$, we show that the subcategory of $\mathfrak{a}$-cofinite $R$-modules is abelian. Using this and the…

We introduce the notion of integrable modules over $\imath$quantum groups (a.k.a. quantum symmetric pair coideal subalgebras). After determining a presentation of such modules, we prove that each integrable module over a quantum group is…

We prove that the homotopy theory of parsummable categories (as defined by Schwede) with respect to the underlying equivalences of categories is equivalent to the usual homotopy theory of symmetric monoidal categories. In particular, this…

We introduce nominal string diagrams as, string diagrams internal in the category of nominal sets. This requires us to take nominal sets as a monoidal category, not with the cartesian product, but with the separated product. To this end, we…

We make a systematic study of the infinitesimal lifting conditions of a pseudo finite type map of noetherian formal schemes. We recover the usual general properties in this context, and, more importantly, we uncover some new phenomena. We…

In categorical realizability, it is common to construct categories of assemblies and categories of modest sets from applicative structures. These categories have structures corresponding to the structures of applicative structures. In the…

We study the symmetric monoidal 2-category of finite semisimple module categories over a symmetric fusion category. In particular, we study $E_n$-algebras in this 2-category and compute their $E_n$-centers for $n=0,1,2$. We also compute the…

We show that a well behaved Noetherian, finite dimensional, stable, monoidal model category is equivalent to a model built from categories of modules over completed rings in an adelic fashion. For abelian groups this is based on the Hasse…

We explore an alternative definition of unit in a monoidal category originally due to Saavedra: a Saavedra unit is a cancellative idempotent (in a 1-categorical sense). This notion is more economical than the usual notion in terms of…

A finitely generated module C over a commutative noetherian ring R is semidualizing if Hom_R(C,C) \cong R and Ext^i_R(C,C) = 0 for all i \geq 1. For certain local Cohen-Macaulay rings (R,m), we verify the equality of Hilbert-Samuel…

We introduce the concept of cotensor coalgebra for a given bicomodule over a coalgebra in an abelian monoidal category. Under some further conditions we show that such a cotensor coalgebra exists and satisfies a meaningful universal…

We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…

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…

The concept of process is ubiquitous in science, engineering and everyday life. Category theory, and monoidal categories in particular, provide an abstract framework for modelling processes of many kinds. In this paper, we concentrate on…

We consider categories C_n, which are very close to the iterated version of Ind Pro limits introduced by A.Bejlinson in his article "How to glue perverse sheaves". We prove that the adelic space on n-dimensional noetherian scheme is an…

We classify the prelocalizing subcategories of the category of quasi-coherent sheaves on a locally noetherian scheme. In order to give the classification, we introduce the notion of a local filter of subobjects of the structure sheaf. The…

Let $A$ be a commutative Noetherian ring of characteristic zero and $R=A[X_1, \ldots, X_d]$ be a polynomial ring over $A$ with the standard $\mathbb{N}^d$-grading. Let $I\subseteq R$ be an ideal which can be generated by elements of the…

Let $R$ be a commutative Noetherian ring of dimension $d$ and $M$ a commutative cancellative torsion-free seminormal monoid. Then (1) Let $A$ be a ring of type $R[d,m,n]$ and $P$ be a projective $A[M]$-module of rank $r \geq max\{2,d+1\}$.…