カテゴリ構造
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/08/20 01:40 UTC 版)
k 上の代数函数体は、圏を形成する。代数函数体 K から L への射は、すべての a∈k に対して f(a) = a となる環準同型 f : K→L である。このような準同型は単射である。K を n 変数の函数体、L を m 変数の函数体、n > m とすると、K から L への射は存在しない。
※この「カテゴリ構造」の解説は、「代数函数体」の解説の一部です。
「カテゴリ構造」を含む「代数函数体」の記事については、「代数函数体」の概要を参照ください。
- カテゴリ構造のページへのリンク