Let $\mathbb{X}$ be a noetherian separated scheme $\mathbb{X}$ of finite
Krull dimension which has enough locally free sheaves of finite rank and let
$U\subseteq \mathbb{X}$ be an open subscheme. We prove that the singularity
category of $U$ is triangle equivalent to the Verdier quotient category of the
singularity category of $\mathbb{X}$ with respect to the thick triangulated
subcategory generated by sheaves supported in the complement of $U$. The result
unifies two results of D. Orlov. We also prove a noncommutative version of this
result.
These notes provide a description of the abelian categories that arise as
categories of coherent sheaves on weighted projective lines. Two different
approaches are presented: one is based on a list of axioms and the other yields
a description in terms of expansions of abelian categories.
For a Frobenius abelian category $\mathcal{A}$, we show that the category
${\rm Mon}(\mathcal{A})$ of monomorphisms in $\mathcal{A}$ is a Frobenius exact
category; the associated stable category $\underline{\rm Mon}(\mathcal{A})$
modulo projective objects is called the stable monomorphism category of
$\mathcal{A}$. We show that a tilting object in the stable category
$\underline{\mathcal{A}}$ of $\mathcal{A}$ modulo projective objects induces
naturally a tilting object in $\underline{{\rm Mon}}(\mathcal{A})$.