CatGloss

Moreover $ f^{*} $ is the inverse image part of a_ (thereby unique up to natural isomorphism) geometric morphism $ f!:!mathcal{E}!to!mathbf{Sh}(mathbf{C}) $ . _