1: \begin{abstract} 

2: 	Let $X$ be a scheme.

3: 	Let $\Gal(X)$ be the topological category whose objects are geometric points of $X$ and whose morphisms are specialisations thereof.

4: 	If $X$ is a scheme of finite type over a finitely generated field $k$ of characteristic zero, then the category $\Gal(X)$ acquires a continuous action of the absolute Galois group $G_k$ of $ k $.

5: 	Our main result is that the resulting functor from reduced normal schemes of finite type over $k$ to topological categories with an action of $G_k$ and functors that preserve minimal objects is \emph{fully faithful}.

6: 

7: 	The category $\Gal(X)$ is a form of MacPherson's exit-path category for the étale topology. \emph{Exodromy} refers to the equivalence between representations of $\Gal(X)$ and constructible sheaves on $X$.

8: 	Together with a higher categorical form of Hochster Duality, this equivalence ensures that the entire étale topos of a quasicompact quasiseparated scheme can be reconstructed from $\Gal(X)$.

9: 	Voevodsky's proof of a conjecture of Grothendieck then implies our main theorem. 

10: \end{abstract}

11: