It is known that there's a bijection between hereditary torsion theories on, and localizations of, a fixed abelian category.
- Is this bijection natural? How/why not?
- How can I think of the derived category in terms of a hereditary torsion theory and vice-versa?
- Where can I find discussions of this (not just formalism)?