Related papers: Does full imply faithful?
We show that if a (not necessarily algebraic) triangulated category T contains an admissible hereditary abelian subcategory H, then we can lift the inclusion of H into T to a fully faithful triangle functor from the whole of the bounded…
We establish a correspondence between consistent comprehension schemes and complete orthogonal factorisation systems. The comprehensive factorisation of a functor between small categories arises in this way. Similar factorisation systems…
We consider the long-standing question of whether every regular LB-space is complete. This problem has been open since the 1950s and originates in Grothendieck's early work in functional analysis. Rather than seeking a direct proof or…
Generalizing F-nilpotent completion for a ring spectrum F we first define the notion of completion with respect to a thick subcategory in a monogenic stable homotopy category. Specializing this to the thick subcategory generated by…
Consider a monad on an idempotent complete triangulated category with the property that its Eilenberg-Moore category of modules inherits a triangulation. We show that any other triangulated adjunction realizing this monad is 'essentially…
A locally coherent exact category is a finitely accessible additive category endowed with an exact structure in which the admissible short exact sequences are the directed colimits of admissible short exact sequences of finitely presentable…
This article gives an elementary and formal 2-categorical construction of a bicategory of right fractions analogous to anafunctors, starting from a 2-category equipped with a family of covering maps that are fully faithful and co-fully…
It is proved that any polynomial vector field in two complex variables which is complete on a non-algebraic trajectory is complete.
Coherence is here demonstrated for sesquicartesian categories, which are categories with nonempty finite products and arbitrary finite sums, including the empty sum, where moreover the first and the second projection from the product of the…
We prove that the bounded derived category of coherent sheaves with proper support is equivalent to the category of locally-finite, cohomological functors on the perfect derived category of a quasi-projective scheme over a field. We…
Let A be a commutative noetherian ring. Call a functor <<commutative A-algebras>> --> <<sets>> coherent if it can be built up (via iterated finite limits) from functors of the form B \mapsto M tensor_A B, where M is a f.g. A-module. When…
Building on previous work, we study the splitting of idempotents in the category of extensions $\mathbb{E}\operatorname{-Ext}(\mathcal{C})$ associated to a pair $(\mathcal{C},\mathbb{E})$ of an additive category and a biadditive functor to…
The paper contains general results on the uniqueness of a DG enhancement for triangulated categories. As a consequence we obtain such uniqueness for the unbounded categories of quasi-coherent sheaves, for the triangulated categories of…
The aim of this paper is to introduce a new class of Noetherian rings of positive characteristic in terms of perfect closures and study their basic properties. If the perfect closure of a Noetherian ring is coherent, we call it an…
For a semisimple multiring category with left duals, we prove that the unit object is simple if and only if the tensor functors by any non-zero algebra are separable (resp. faithful, resp. Maschke, resp. dual Maschke, resp. conservative).…
We extend the notion of exact completion on a weakly lex category to elementary doctrines. We show how any such doctrine admits an elementary quotient completion, which freely adds effective quotients and extensional equality. We note that…
The aim of this mainly expository note is to point out that, given an Fourier-Mukai functor, the condition making it fully faithful is an instance of \emph{generic vanishing}. We test this point of view on some fairly classical examples,…
We say that a projective class in a triangulated category with coproducts is perfect if the corresponding ideal is closed under coproducts of maps. We study perfect projective classes and the associated phantom and cellular towers. Given a…
We prove two theorems on cohomologically complete complexes. These theorems are inspired by, and yield an alternative proof of, a recent theorem of P. Schenzel on complete modules.
We show that a well-known exact sequence in K-theory for quotients of triangulated categories descends to numerical K-groups provided that the category, the quotient and the category we take the quotient with has a numerical K-group, and if…