極限として
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/04/26 08:26 UTC 版)
積は極限の特別な場合である。これを見るには、極限の定義で必要となる図式において離散圏(英語版)(恒等射以外の射をもたない対象からなる族)を用いればよい(各離散対象は成分と射影の添字を与え、図式を関手とみれば(離散圏とみた)添字集合 I からの関手である)。このとき実際に積の定義が極限の定義と一致することがみてとれる。{fi}i∈I が錐(英語版)、射影が極限(極限錐)である。
※この「極限として」の解説は、「積 (圏論)」の解説の一部です。
「極限として」を含む「積 (圏論)」の記事については、「積 (圏論)」の概要を参照ください。
- 極限としてのページへのリンク