更新状況などは、こちら （Hatena::Diary 「檜山正幸のキマイラ飼育記」）でご確認ください。 「キマイラ飼育記」のRSSは http://d.hatena.ne.jp/m-hiyama/rss から取得 できます。 このインデックスの並び順は、アップロードされた時間の順です。新しい記 事は最後に追加されます。 ETBダイアグラム スーパーポージング公理からスーパーポージング定理へ スーパーポージング公理からスーパーポージング定理へ 図だけ コンパクト閉圏 お絵描き圏論 トレース付きモノイド圏における結合 コンパクト閉圏を定義する セオリーの圏 図式順テキスト記法（DOTN） ストリング図による複合モナドの計算 (1) トレースとモノイド積／結合 コンパクト閉圏における結合 コンパクト閉圏を定義する その2 Int（GoI）構成
全体目次： 第1歩：しりとりの圏 （このエントリー） 第2歩：行列の圏 第3歩：極端な圏達 第4歩：部分圏 第5歩：変換キューの圏 第6歩：有限変換キューと半圏 第7歩：アミダの圏 第8歩：順序集合の埋め込み表現 第9歩：基本に戻って、圏論感覚を養うハナシとか 付録／番外など： 中間付録A：絵を描いてみた 番外：同期／非同期の結合 中間付録B：アミダとブレイド 番外：米田の補題に向けてのオシャベリ 一部のプログラミング言語の背景として、圏論（カテゴリー論）が使われたりするせいか、以前に比べれば多少は圏論に興味を持つ人が増えたような気がしなくもないような。でも、安直な入門的文書はあまり見かけないですね。もちろん、シッカリした教科書や論説はあるんですが、どうもシッカリし過ぎているような。例えば、圏の例として「コンパクト・ハウスドルフ空間と連続写像の圏」とか言われてもねぇ（この例はいい例なんです
圏論勉強会は、コーヒーがなんと160円で飲めるベローチェで実施されました（参考→http://www.sampou.org/cgi-bin/haskell.cgi?CategoryTheory%3a%b7%f7%cf%c0%ca%d9%b6%af%b2%f1&l=jp、→http://d.hatena.ne.jp/bonotake/20070812/1186947754）。 僕が参加していた時間（1時間ほど）内にできた唯一の問題（2.3.2 Exercise）について述べてみます。問題自体は簡単なので、周辺事情とかも入れて、雰囲気やココロが伝わるように書くつもり。で、書いてみたら長くなっちゃったよ。 内容： ベータ変換とイータ変換 ラムダ計算とデカルト閉圏 指数をコンピュータの言葉で語れば インタプリタとコンパイラを分類する モジュールの実行環境 ノイマン／ゲーデルの箱庭風景 Exerci
序 圏 関手 自然変換 随伴関手 表現可能性 参考書 [ 序 ] 圏の理論は数学の理論的な構造を明確にするのに役立つ。 以下、圏論についてまとめることにする。 [ 圏 ] 「対象」とよばれるモノ（ = 数学的な対象 ）のクラスと対象 X から Yへの 「射（morphism）」とよばれる要素からなる集合 Hom(X, Y) が指定されていて、f ∈ Hom(X, Y) と g ∈ Hom(Y, Z) に対してはその「合成」とよばれる射 gf が定められていて、以下の３条件を 満たしているときこれらの総合概念 C を 圏（category）とよぶ。 （Cat 1） 射の合成は結合法則 h(gf) = (hg)f をみたす. （Cat 2） 任意の対象 X に対して ∃ε∈Hom(X, X) ∀f∈Hom(X, Y)∀g∈ Hom(Z, X), fε=f, εg
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
