Synthetic topos theory
[0034] Exercise

Let \(U\) be a universe, let \(V\) be a universe greater than or equal to \(U\), and let \(W\) be a universe strictly greater than \(V\). Then \(\mathbb {A}^{(V)}:\mathord {\textnormal {\textsf {Sh}}}(\mathord {\textnormal {\textsf {Topos}}}^{(1)}(U),W)\) is \(\mathbb {I}\)-categorically fibrant.