Suppose that $\mathcal{T}$ is an abstract $2$-category we know is equivalent to the $2$-category of Grothendieck topoi via some equivalence $$\phi:\mathcal{T} \to \mathfrak{Top},$$ and let $E$ be an object of $T$. Can we recover the underlying category $\phi(E)$ without using $\phi$?

I am asking because often properties of morphisms of topoi use that we know what topoi are (certain categories) and what maps between them are (certain pairs of adjoint functors), e.g. by referencing elements of the domain, or by saying one of the pairs of adjoint functors has a further adjoint with certain properties. But, a general principle of category theory is that one shouldn't care what things are, just about the maps between them-and not really the maps, but how they are related, i.e. the category you get. If you have an equivalent category, then you should be able to make the same statements. So the $2$-category $\mathcal{T}$ should be enough. Hence, I ask, how does one recover $\phi(E)$? It would suffice have a completely categorical description of etale geometric morphisms (i.e. one not depending on the "evil" choice of a particular presentation of $\mathfrak{Top}$ as consisting of certain categories called topoi) because any topos is equivalent to the category of etale morphisms over itself.

fromcategory theory, so I think there is little notion of offending non-category theorists. $\endgroup$4more comments