Related papers: Univalent categories of modules

This paper builds on top of arXiv:2306.02734. We consider a complete, separated topological ring $\mathfrak R$ with a countable base of neighborhoods of zero consisting of open two-sided ideals. The main result is that the homotopy category…

It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective…

In this paper, we introduce the notion of a four-angle Hopf module for a Hom-Hopf algebra $(H,\beta)$ and show that the category $\!^{H}_{H}\mathfrak{M}^{H}_{H}$ of four-angle Hopf modules is a monoidal category with either a Hom-tensor…

Through abelian categories, homological lemmas for modules admit a self-dual treatment, where half of the proof of a lemma is sufficient to prove the full lemma. In this paper, we show how the context of a `noetherian form', recently…

Let $G$ denote a possibly discrete topological group admitting an open subgroup $I$ which is pro-$p$. If $H$ denotes the corresponding Hecke algebra over a field $k$ of characteristic $p$ then we study the adjunction between $H$-modules and…

In paper arXiv:1406.1744, we constructed a symmetric monoidal category $LIE^{MC}$ whose objects are shifted (and filtered) L-infinity algebras. Here, we fix a cooperad $C$ and show that algebras over the operad $Cobar(C)$ naturally form a…

We investigate how to characterize subcategories of abelian categories in terms of intrinsic axioms. In particular, we find intrinsic axioms which characterize generating cogenerating functorially finite subcategories, precluster tilting…

In a compactly generated triangulated category, we introduce a class of tilting objects satisfying certain purity condition. We call these the decent tilting objects and show that the tilting heart induced by any such object is equivalent…

In this paper we prove that for any model category, the Bousfield-Kan construction of the homotopy colimit is the absolute left derived functor of the colimit. This is achieved by showing that the Bousfield-Kan homotopy colimit is moreover…

We develop a functorial approach to the study of $n$-abelian categories by reformulating their axioms in terms of their categories of finitely presented functors. Such an approach allows the use of classical homological algebra and…

We investigate Hopf algebroids in the category of $L$-complete modules over a commutative Noetherian regular complete local ring. The main examples are provided by the Hopf algebroids associated to Lubin-Tate spectra in the K(n)-local…

For a ring $R$ and an additive subcategory $\C$ of the category $\Mod R$ of left $R$-modules, under some conditions we prove that the right Gorenstein subcategory of $\Mod R$ and the left Gorenstein subcategory of $\Mod R^{op}$ relative to…

The commutative and homological algebra of modules over posets is developed, as closely parallel as possible to the algebra of finitely generated modules over noetherian commutative rings, in the direction of finite presentations, primary…

A new approach to \'etale homotopy theory is presented which applies to a much broader class of objects than previously existing approaches, namely it applies not only to all schemes (without any local Noetherian hypothesis), but also to…

Let $R$ be a ring. In this paper, we study the characterization of cosilting modules and establish a relation between cosilting modules and cotilting objects in a Grothendieck category. We proved that each cosilting right $R$-module $T$ can…

By providing a suitable generalization of Newman's bijective correspondence known for cocommutative Hopf algebras, we prove that the category of cocommutative Hopf monoids in any abelian symmetric monoidal category is semi-abelian, once…

For any object x in a category C it is possible to define the category of Beck modules over x as the category Ab(C/x) of abelian group objects in the category C/x. We can deduce from this construction, at least for any locally presentable…

This article investigates duals for bimodule categories over finite tensor categories. We show that finite bimodule categories form a tricategory and discuss the dualities in this tricategory using inner homs. We consider inner-product…

Tilting theory in cluster categories of hereditary algebras has been developed in [BMRRT] and [BMR]. These results are generalized to cluster categories of hereditary abelian categories. Furthermore, for any tilting object $T$ in a…

In homotopy type theory (HoTT), all constructions are necessarily stable under homotopy equivalence. This has shortcomings: for example, it is believed that it is impossible to define a type of semi-simplicial types. More generally, it is…