米田の補題というのがある(Wiki) Wikiの冒頭文をそのまま書くと： 『米田の補題とは、小さなhom集合をもつ圏 C について、共変hom関手 hom(A, -) : C → Set から集合値関手 F : C → Set への自然変換と、集合である対象 F(A) の要素との間に一対一対応が存在…

コホモロジーのこころ作者: 加藤五郎出版社/メーカー: 岩波書店発売日: 2003/03/25メディア: 単行本購入: 2人 クリック: 46回この商品を含むブログ (4件) を見る 目次 まえがき カテゴリーと関手 数学の舞台、カテゴリー カテゴリー論の大黒柱、米田の補題 …