定数関数環
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/09 00:06 UTC 版)
位相空間とその間の連続写像を射とする圏から実結合的多元環の圏への反変関手が、各位相空間 X に対してその上の実数値連続関数全体の成す多元環 C(X) を対応させることによって定まる。各連続写像 f: X → Y は各 φ ∈ C(Y) に対して C(f)(φ) := φ ∘ f と置くことにより、多元環の準同型 C(f): C(Y) → C(X) を引き起こす。
※この「定数関数環」の解説は、「関手」の解説の一部です。
「定数関数環」を含む「関手」の記事については、「関手」の概要を参照ください。
- 定数関数環のページへのリンク