はじめての圏論 その第1歩：しりとりの圏 - 檜山正幸のキマイラ飼育記

全体目次： 第1歩：しりとりの圏 （このエントリー） 第2歩：行列の圏 第3歩：極端な圏達 第4歩：部分圏 第5歩：変換キューの圏 第6歩：有限変換キューと半圏 第7歩：アミダの圏 第8歩：順序集合の埋め込み表現 第9歩：基本に戻って、圏論感覚を養うハナシとか 付録／番外など： 中間付録A：絵を描いてみた 番外：同期／非同期の結合 中間付録B：アミダとブレイド 番外：米田の補題に向けてのオシャベリ 一部のプログラミング言語の背景として、圏論（カテゴリー論）が使われたりするせいか、以前に比べれば多少は圏論に興味を持つ人が増えたような気がしなくもないような。でも、安直な入門的文書はあまり見かけないですね。もちろん、シッカリした教科書や論説はあるんですが、どうもシッカリし過ぎているような。例えば、圏の例として「コンパクト・ハウスドルフ空間と連続写像の圏」とか言われてもねぇ（この例はいい例なんです

[SWIMATH2]

んー

[hhc0null]

wai-wai

[cohalz]

browsing:"はじめての圏論 その第1歩：しりとりの圏 - 檜山正幸のキマイラ飼育記"

[shinichiroinaba]

@yukoim @ytb_at_twt これってええのん？

[meta153]

「しりとりの圏」の威力は凄まじいと感じた。

[biochem_fan]

再度挑戦

[criticabug]

ここから始まる僕の圏論ストーリー

[pogin]

あとで読む

[none53]

はじめての圏論 その第1歩：しりとりの圏 - 檜山正幸のキマイラ飼育記

[kazwat]

.

[Kureduki_Maari]

はじめての圏論 その第1歩：しりとりの圏 - 檜山正幸のキマイラ飼育記

[kzfm]

はじめての圏論を読んだ。これおもしろいす。

[namikawamisaki]

圏論（カテゴリー論）

[tanakaBox]

わかりやすい！！

[heis101]

うーん。わかりやすいのだけれど、圏が数ある代数系の一つであることは分かっても、なぜ圏が数ある代数系のなかでも特別な地位にいるものと考えられるのかが読めない…。

[Ehren]

ちょっとずつ読む

[hiyokoya]

おもろい！

[o_show]

圏論入門。

[adscft]

はじめての圏論

[bogenbauer]

圏論入門

[webmarksjp]

圏論

[pho]

非常にわかりやすい。とてもありがたい

[hamasta]

あとで読む

[amachang]

後で読む。3/16に読む

[htktyo]

Category Theory

[k1m]

りんごりらっぱんだちょううみのみちしるべ

[takado]

「一部のプログラミング言語の背景として、圏論（カテゴリー論）が使われたりするせいか、以前に比べれば多少は圏論に興味を持つ人が増えたような気がしなくもないような」-Haskellとか

[Jehoshaphat]

圏論！

[mind]

圏の定義が包括的、茫漠 ／実在性と個性を持った具体的な個々の圏達です。オートマトンの圏、データ型（データ領域）の圏、プロセスの圏、計算可能関数の圏、回路の圏、仕様の圏 …が蠢いて ――具体的!な抽象数学♪

[Raphael-w-b]

正直タグ付けにこまる