Related papers: $FI$-modules over preadditive categories and torsi…
We show that various derived categories of torsion modules and contramodules over the adic completion of a commutative ring by a weakly proregular ideal are full subcategories of the related derived categories of modules. By the work of…
Let $R$ be a commutative ring. We investigate $R$-modules which can be written as \emph{finite} sums of {\it {second}} $R$-submodules (we call them \emph{second representable}). We provide sufficient conditions for an $R$-module $M$ to be…
Let R be a Gorenstein local ring which is locally a hypersurface on the punctured spectrum. In this paper, we classify thick subcategories of the bounded derived category of finitely generated R-modules. Moreover, using this classification,…
We solve a long standing open problem concerning the structure of finite cycles in the category mod A of finitely generated modules over an arbitrary artin algebra A, that is, the chains of homomorphisms $M_0 \stackrel{f_1}{\rightarrow} M_1…
We study the existence of maximal ideals in preadditive categories defining an order $\preceq$ between objects, in such a way that if there do not exist maximal objects with respect to $\preceq$, then there is no maximal ideal in the…
We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…
Let $R$ be a commutative ring and $I\subset R$ a finitely generated ideal. We discuss two definitions of derived $I$-adically complete (also derived $I$-torsion) complexes of $R$-modules which appear in the literature: the idealistic and…
This paper investigates the theory of lattices, focusing on extending lattices relative to abstract classes, modular lattices, and torsion lattices. Definitions of type-1 and type-2 extending lattices are provided, along with their weakly…
Consider the polynomial ring in countably infinitely many variables over a field of characteristic zero, together with its natural action of the infinite general linear group G. We study the algebraic and homological properties of finitely…
A certain amount of category theory is developed in an arbitrary finitely complete category with a factorization system on it, playing the role of the comprehensive factorization system on Cat. Those aspects related to the concepts of…
Multisorted modules, equivalently representations of quivers, equivalently additive functors on preadditive categories, encompass a wide variety of additive structures. In addition, every module has a natural and useful multisorted…
We develop general foundations of topological algebra over a linearly topologized ring k in a format applicable to both formal schemes and analytic adic spaces. We are especially interested in determining exact closed tensor categories of…
We develop a categorical framework for reasoning about abstract properties of differentiation, based on the theory of fibrations. Our work encompasses the first-order fragments of several existing categorical structures for differentiation,…
We introduce a new concept of a semiprime submodule. We show that a submodule of a finitely generated module over a commutative ring is semiprime if and only if it is radical, that is, an intersection of prime submodules. Using our notion,…
To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule…
The stable category of modules over the algebra of a finite group with coefficients in a field is a compactly generated tensor triangulated category, that has been studied extensively in representation theory. In this paper, we provide a…
We give an overview over several constructions of TQFT's over finite fields and cyclotomic integers and their applications to characterizing 3-manifolds and their fundamental groups.
We present a new, category theoretic point of view on finite Ramsey theory. Our aims are as follows: -- to define the category theoretic notions needed for the development of finite Ramsey Theory, -- to state, in terms of these notions, the…
Contravariantly finite resolving subcategories of the category of finitely generated modules have been playing an important role in the representation theory of algebras. In this paper we study contravariantly finite resolving subcategories…
New homotopy invariant finiteness conditions on modules over commutative rings are introduced, and their properties are studied systematically. A number of finiteness results for classical homological invariants like flat dimension,…