Related papers: Does full imply faithful?

The main goal of this paper is to prove that the idempotent completions of the triangulated categories of singularities of two schemes are equivalent if the formal completions of these schemes along singularities are isomorphic. We also…

Let X be e quasi-compact and semi-separated scheme. If every at quasi- coherent sheaf has finite cotorsion dimension, we prove that X is n-perfect for some n > 0. If X is coherent and n-perfect(not necessarily of finite krull dimension), we…

We develop the first two heap logics that have implicit heaplets and that admit FO-complete program verification. The notion of FO-completeness is a theoretical guarantee that all theorems that are valid when recursive definitions are…

We generalize the adjunction between the functors $Rf_*$ and $f^!$ of derived categories of quasi-coherent sheaves for proper morphisms $f\colon X \to Y$ of Noetherian schemes to the following situation: Let $f$ be a finite type morphism…

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…

Let $\mathcal C$ be closed symmetric monoidal Grothendieck category. We define the pure derived category with respect to the monoidal structure via a relative injective model category structure on the category $\mathbf{C}(\mathcal C)$ of…

This paper studies fundamental questions concerning category-theoretic models of induction and recursion. We are concerned with the relationship between well-founded and recursive coalgebras for an endofunctor. For monomorphism preserving…

We show that each rigid monoidal category A over a field defines a family of universal tensor categories, which together classify all faithful monoidal functors from A to tensor categories. Each of the universal tensor categories classifies…

Consider a reflection from a finitely-complete category $\mathbb{C}$ into its full subcategory $\mathbb{M}$, with unit $\eta :1_\mathbb{C}\rightarrow HI$. Suppose there is a left-exact functor $U$ into the category of sets, such that $UH$…

Every right adjoint functor between presentable $\infty$-categories is shown to decompose canonically as a coreflection, followed by, possibly transfinitely many, monadic functors. Furthermore, the coreflection part is given a presentation…

In this work we study a kind of coherence condition on FI_G-modules, which generalizes the usual notion of finite generation. We prove that a module is coherent, in the appropriate sense, if and only if its generators, as well as its…

Let $R$ be a commutative Noetherian ring such that $X=Spec R$ is connected. We prove that the category $D^b(coh X)$ contains no proper full triangulated subcategories which are regular. We also bound from below the dimension of a regular…

Given a group, we construct a fundamental additive functor on its orbit category. We prove that any isomorphism conjecture valid for this fundamental isomorphism functor holds for all additive functors, like K-theory, cyclic homology,…

This paper provides several characterizations of final functors between internal groupoids in Barr-exact categories. In particular, it is proved that an internal functor between groupoids is final if and only if it is full and essentially…

Categories of partial functions have become increasingly important principally because of their applications in theoretical computer science. In this note we prove that the category of partial bijections between sets as an…

We consider the decidability of the verification problem of programs \emph{modulo axioms} --- that is, verifying whether programs satisfy their assertions, when the functions and relations it uses are assumed to interpreted by arbitrary…

We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent…

For a noetherian scheme, we introduce its unbounded stable derived category. This leads to a recollement which reflects the passage from the bounded derived category of coherent sheaves to the quotient modulo the subcategory of perfect…

An operator set is functionally incomplete if it can not represent the full set $\lbrace \neg,\vee,\wedge,\rightarrow,\leftrightarrow\rbrace$. The verification for the functional incompleteness highly relies on constructive proofs. The…

We study several structure aspects of functor categories from a small additive category to a module category, in particular the category F(A,K) of functors from finitely generated free modules over a commutative ring A to vector spaces over…