はじめての圏論 その第1歩：しりとりの圏 - 檜山正幸のキマイラ飼育記
全体目次： 第1歩：しりとりの圏 （このエントリー） 第2歩：行列の圏 第3歩：極端な圏達 第4歩：部分圏 第5歩：変換キューの圏 第6歩：有限変換キューと半圏 第7歩：アミダの圏 第8歩：順序集合の埋め込み表現 第9歩：基本に戻って、圏論感覚を養うハナシとか 付録／番外など： 中間付録A：絵を描いてみた 番外：同期／非同期の結合 中間付録B：アミダとブレイド 番外：米田の補題に向けてのオシャベリ 一部のプログラミング言語の背景として、圏論（カテゴリー論）が使われたりするせいか、以前に比べれば多少は圏論に興味を持つ人が増えたような気がしなくもないような。でも、安直な入門的文書はあまり見かけないですね。もちろん、シッカリした教科書や論説はあるんですが、どうもシッカリし過ぎているような。例えば、圏の例として「コンパクト・ハウスドルフ空間と連続写像の圏」とか言われてもねぇ（この例はいい例なんです
圏論とIOモナド | tnomuraのブログ
オブジェクトとして集合X={1}、射としてX->Xの関数f(x)=xひとつだけを持つ圏は、圏や関手のイメージを掴むのに便利だった。しかし、もう少し複雑な圏にも挑戦しよう。 オブジェクトとして、集合X={1,2}と集合Y={a,b}という二つの集合をとり、射として X->Yの関数 id, f の二つの関数を持つ圏 C を考えてみよう。この場合 Hom(X,Y)={id, f} である。このとき、id, f をそれぞれ次のように定義する。 id(1)=a, id(2)=b f(1)=b, f(2)=a これが圏になるためには、id と f の合成 * が定義されている必要があるが、id も f も共に X->Y 型の関数であり、このままでは合成写像を作ることができない。そこで、技巧的だが関数と関数の合成をする演算子 * をつぎのように定めることにする。 f * g は、gの値が a の時は、f
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
王様のカレー@富士宮
男の異業種転職ウェブメディア-OREPICA-
canvasXpress | Javascript Canvas Graphing Library
NameBright - Domain Expired
canvasXpress | Javascript Canvas Graphing Library
