代数函数体
k 上の代数函数体は、圏を形成する。代数函数体 K から L への射は、すべての a∈k に対して f(a) = a となる環準同型 f : K→L である。このような準同型は単射である。K を n 変数の函数体、L を m 変数の函数体、n > m とすると、K から L への射は存在しない。