# Function fields <-> curves (and beyond)

We know that (for an algebraically closed field $k$) there is an equivalence between algebraic curves over $k$ (up to birational equivalence) and fields of transcendence degree $1$ over $k$.

Is there something similar for higher dimensional algebraic varieties?

-
For algebraic varieties the transcendence degree of the function field is equal to the dimension, so the answer is yes: just replace $1$ with $n := \dim X$ – Francesco Polizzi Jun 19 '12 at 16:14
For $X,Y$ integral $k$-varieties, there is a bijection {$f: X \to Y$ dominant rational} <-> $\mathrm{Hom}_k(K(Y),K(X))$.
Also, there is an equivalence of categories {integral $k$-varieties with morphisms as above} and {finitely generated field extensions of $k$}.