Related papers: When stable short exact sequences define an exact …
We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given monoidal model category. This yields a unified treatment for the known model structures on simplicial, topological, dg- and…
We consider the equivalence from the stable module category to a subcategory $\mathcal{L}_A$ of the homotopy category constructed by Kato. This equivalence induces a correspondence between distinguished triangles in the homotopy category…
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…
Strictly proper kernel scores are well-known tool in probabilistic forecasting, while characteristic kernels have been extensively investigated in the machine learning literature. We first show that both notions coincide, so that insights…
We present a systematic construction of finite element exact sequences with a commuting diagram for the de Rham complex in one-, two- and three-space dimensions. We apply the construction in two-space dimensions to rediscover two families…
It is shown that the K-theory of every noetherian base scheme of finite Krull dimension is represented by a strict ring object in the setting of motivic stable homotopy theory. The adjective `strict' is used to distinguish between the type…
If this article, an elementary kernel-cokernel exact sequence is introduced for $A\stackrel{f}\to B\stackrel{g}\to C$. Some relative sequences and applications are dicussed. This result can simplify some proofs---the indices of Frodholm…
The purpose of this short and elementary note is to identify some classes of exact categories introduced in L. Previdi's thesis. Among other things we show: (1) An exact category is partially abelian exact if and only if it is abelian. (2)…
Characteristic properties of corings with a grouplike element are analysed. Associated differential graded rings are studied. A correspondence between categories of comodules and flat connections is established. A generalisation of the…
In this article, we present the stable category of preordered groups associated with some Z-pretorsion theory. We first define such a category as well as the related functor, and then study their properties. By doing so, we provide a…
For an abelian category $\mathcal{A}$ we investigate when the stable categories $\underline{\mathrm{GPro}}\mathrm{j}(\mathcal{A})$ and $\underline{\mathrm{GIn}}\mathrm{j}(\mathcal{A})$ are triangulated equivalent. To this end, we realize…
We show that the locally free sheaf of locally exact differentials on a smooth projective curve of genus at least two over an algebraically closed field k of characteristic p is a stable vector bundle. This answers a question of Raynaud.
Let $R$ be a left-Gorenstein ring. We show that there is a Quillen equivalence between singular contraderived model category and singular coderived model category. Consequently, an equivalence between the homotopy category of exact…
We define the projective stable category of a coherent scheme. It is the homotopy category of an abelian model structure on the category of unbounded chain complexes of quasi-coherent sheaves. We study the cofibrant objects of this model…
Universal kernels, whose Reproducing Kernel Hilbert Space is dense in the space of continuous functions are of great practical and theoretical interest. In this paper, we introduce an explicit construction of universal kernels on compact…
The (co)completeness problem for the (projectively) stable module category of an associative ring is studied. (Normal) monomorphisms and (normal) epimorphisms in such a category are characterized. As an application, we give a criterion for…
We construct a model structure on the category of ordered simplicial complexes, Quillen equivalent to the standard model structure on simplicial sets. This shows that simplicial complexes, which are fully combinatorial in nature, provide a…
We study the categorical framework for the computation of persistent homology, without reliance on a particular computational algorithm. The computation of persistent homology is commonly summarized as a matrix theorem, which we call the…
It is proved that if a ring is left hereditary, left perfect and right coherent, then the stable category has cokernels. Moreover, we show that the condition for a ring to be left perfect and right coherent is also necessary for the stable…
On one hand, exact structures were introduced by D. Quillen in the '70s. They can be defined as collections of short exact sequences in a fixed abelian category satisfying additional properties. On the other hand, in a recent work, A.…