We will show how modern algebraic varieties and algebraic covering spaces can be encoded as first-order theories of multi-sorted structures. As a consequence of the encoding, we mention the relationship between deck transformations of the universal cover of a curve and the Lascar group of the associated first-order theory.