Related papers: Maximal exact structures on additive categories
We apply some tools developed in categorical logic to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional type theory. The key concept we employ is that of a Lawvere…
We show that Klemenc's stable envelope of exact $\infty$-categories induces an equivalence between stable $\infty$-categories with a bounded heart structure and weakly idempotent complete exact $\infty$-categories. Moreover, we generalise…
Several important cases of vector bundles with extra structure (such as Higgs bundles and triples) may be regarded as examples of twisted representations of a finite quiver in the category of sheaves of modules on a variety/manifold/ringed…
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.…
Inspired by the intrinsic formality of graded algebras, we prove a necessary and sufficient condition for strongly uniqueness of DG-enhancements. This approach offers a generalization to linearity over any commutative ring. In particular,…
We show how to obtain recollements of triangulated categories using the theory of exact model structures. After noting how the theory relates to well-known notions in the simplest case of Frobenius categories, we apply these ideas to…
We study maximal $m$-rigid objects in the $m$-cluster category $\mathcal C_H^m$ associated with a finite dimensional hereditary algebra $H$ with $n$ nonisomorphic simple modules. We show that all maximal $m$-rigid objects in these…
9We consider complex structures with totally real zero section of the tangent bundle. We assume that the complex structure tensor is real-analytic along the fibers of the tangent bundle. This assumption is quite natural in view of a well…
We give an explicit classification of maximal antipodal sets in any irreducible compact symmetric space except for spin groups and half spin groups, and some quotient symmetric spaces associated to them.
By an additive structure on a hypersurface S in projective space we mean an effective action of commutative unipotent group on projective space which leaves S invariant and acts on S with an open orbit. It is known that these structures…
For a certain class of abelian categories, we show how to make sense of the "Euler characteristic" of an infinite projective resolution (or, more generally, certain chain complexes that are only bounded above), by passing to a suitable…
It is shown that the idempotent completion of the additive hull of the tensor product of the residue category of the category of paths of a locally finite quiver modulo an admissible ideal and a dualizing category is dualizing. Furthermore,…
We provide a complete classification of the possible cofinal structures of the families of precompact (totally bounded) sets in general metric spaces, and compact sets in general complete metric spaces. Using this classification, we…
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…
Let $\hat{R}$ be the $I$-adic completion of a commutative ring $R$ with respect to a finitely generated ideal $I$. We give a necessary and sufficient criterion for the category of perfect complexes over $\hat{R}$ to be equivalent to the…
We describe how some aspects of abstract localization on module categories have applications to the study of injective comodules over some special types of corings. We specialize the general results to the case of Doi-Koppinen modules,…
We consider a notion of exact sequences in any -not necessarily exact- pointed category relative to a given (E;M)-factorization structure. We apply this notion to introduce and investigate a new notion of exact sequences of semimodules over…
We investigate (2,1):1 structures, which consist of a countable set $A$ together with a function $f: A \to A$ such that for every element $x$ in $A$, $f$ maps either exactly one element or exactly two elements of $A$ to $x$. These…
We prove that for certain monoidal (Quillen) model categories, the category of comonoids therein also admits a model structure.
We prove the existence of a genus-zero complete maximal map with a prescribed singularity set and an arbitrary number of simple and complete ends. We also discuss the conditions under which this maximal map can be made into a complete…