- 269 名前：伊丹公理 [05/01/07 03:31:03]
- C を small category とする。このとき、アーベル圏 D と函手 F : C → D で、
次の条件を満たすものが存在する。
(i) アーベル圏 D' と、函手 F' ： C → D' が与えられたとき、
完全加法的函手 G ： D → D' で、 F' と G'・F 函手として
自然同値になるようなもの G が、自然同値を除いて一意に存在する。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
圏論 / カテゴリー論 / Category Theory 2
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef