Let \(U\) be a universe. Then \(\mathord {\textnormal {\textsf {Topos}}}(U)\) has \(U\)-small products.