外三角理想商与 Gabriel-Zisman 局部化

设 $(\mathcal B,\mathbb{E},\mathfrak{s})$ 为一个外三角范畴，$\mathcal S$ 为 $\mathcal B$ 的一个扩张闭子范畴。本文证明当 $\mathcal S$ 满足某些温和条件时，Gabriel-Zisman 局部化 $\mathcal B/\mathcal S$ 可在 $\mathcal B$ 内实现为一个理想商。该理想商是一个外三角范畴。我们证明理想商与局部化之间的等价保持外三角范畴结构。我们还讨论了我们的结果与 Hovey 双余挠对以及 Verdier 商的关系。