AU-语境的纤维化衍生拓扑斯的纤维化

设算术宇宙语境的 2-范畴 $\mathfrak{Con}$ 中的扩张映射 $U\colon \mathbb{T}_1 \to \mathbb{T}_0$ 满足作为 $\mathfrak{Con}$ 中（反）纤维化的 Chevalley 判据。若 $M$ 是 $\mathbb{T}_0$ 在带 nno 的初等拓扑斯 $\mathcal{S}$ 中的模型，则分类器 $p\colon\mathcal{S}[\mathbb{T}_1/M]\to\mathcal{S}$ 满足 Johnstone 的判据，即作为带 nno 的初等拓扑斯及其几何态射的 2-范畴 $\mathcal{E}\mathfrak{Top}$ 中的（反）纤维化。在此过程中，我们给出了 Johnstone 判据的一个便利重构。