12/08/02 06:39:38.18
>>161
つづき
圏と関手の基本
pantodon.shinshu-u.ac.jp/topology/literature/category.html - キャッシュ - 類似ページ
圏 と 関 手 については , 最 も 有名 なのは Mac Lane の 本 [ ML98 ] である 。 この 本
は 読 む 本 ではなく 辞 書 として 使 うものだと 思 うが 。 他 にも , 色 々 な 本 の 最 初
に 準 備 として 圏 と 関 手 のことがまとめてある 。 特 に ホモロジ ー 代 数 の 本 など 。
小圏と位相圏
pantodon.shinshu-u.ac.jp/topology/literature/small_category.html - キャッシュ
しかしながら , morphism 全体 が 集 合 になるような 圏 にも 重 要 な 用 途 がある 。
そのような 圏 は 小 圏 (small category) と 呼 ばれ , 代 数 的 トポロジ ー で 重 要 な 役
割 を 果 している 。 もちろん , 他 の 分 野 でも 有用 で ある 。 小 圏 を 扱 う 際 には ...
Abel 圏でのホモロジー代数
pantodon.shinshu-u.ac.jp/topology/.../abelian_category.html - キャッシュ - 類似ページ
Abel 圏 については Freyd の 本 [ Fre64 ] がある 。 Theorey ... そこで 元 を 取 るのが
難 しい 圏 においても ホモロジ ー 代 数 を 行 なうために Abel 圏 の 概 念 が 導入 され
た 。 ... Abel 圏 の 必 要 性 を 理 解 するためにはいくつか 例 を 知 っ ているとよい 。
高次の圏
pantodon.shinshu-u.ac.jp/topology/.../higher_category.html - キャッシュ
高次の圏. Topological quantum ?eld theory などのおかげで , 高 次 の 圏 もかなり
一 般 的 にな っ てきたようである 。 The String Coffee Table から 派 生 して The n -
Category Cafe とい う group blog ができている 。 また nLab という Wiki もできていて ...
計算機科学のための圏論
pantodon.shinshu-u.ac.jp/.../category_for_computer_science.html - キャッシュ - 類似ページ
圏 より 基 本 的 な 構 造 として quiver やその 向 きを 忘 れた graph がある 。 フ ロ ー
チ ャ ー ト を decorated quiver として 考 ... λ -calculus の 一 般 化 を 考 える 際 にも
圏 論 的 な 構 造 が 使 われている 。 Voevodsky は “homotopy λ -calculus” という 概 ...
つづく