書評：理工系のための トポロジー・圏論・微分幾何 - 檜山正幸のキマイラ飼育記 (はてなBlog)
この本、圏論を主題としたものではないのですが、タイトルに「圏論」が含まれる日本語の書籍は他にマックレーンの本（The Book）しかないような状況ですから、読んでみる価値はありそう、と購入。 これ、一般書籍ではなくて雑誌の別冊なのでISBNは付いていません。 http://www.saiensu.co.jp/magazine-htm/spsk-200612.htm 臨時別冊・数理科学 SGCライブラリ 52 理工系のための トポロジー・圏論・微分幾何 ― 双対性の視点から ― 定価1980円（本体価格1886円＋税） 谷村 省吾著 著者・谷村省吾さんは物理学者で、趣旨としては、物理の基礎知識として「トポロジー・圏論・微分幾何」を解説するというものでしょう。サブタイトルは「双対性の視点から」 -- 実際、双対性への言及が頻繁に登場します。（それでも双対性ってよくわからん、って気もするが。）
あーあ、こりゃダメだわ、郡司ペギオ-幸夫さん - 檜山正幸のキマイラ飼育記 (はてなBlog)
ことの発端は、圏論勉強会二次会。「脳や生物に圏論を使っている人がいるよ」って話が出ました。それが、郡司ペギオ-幸夫さん。僕は「それは面白そうだ」と、かなり好奇心をそそられました。が、容易にアクセスできる資料がないんですよね。 でも、なぜか僕は、郡司ペギオ-幸夫さんの名前も神戸大学の先生であることも知っていたので、実は彼の新書本を持っているんじゃないかと、… … 探したけどないわ。たけをさんによると、郡司さんの書籍（新書じゃなくて大きな単行本）は、 これは『現代思想』の1994~96年の連載を単行本化したもののようで。 ん？ 1994~96年じゃないけど、『現代思想』1999-4月号がありました。特集「システム論」てやつ。「システムの話なら読んでみるべ」とか思ったのかな？ 実際のところ、システム論つっても、僕がイメージするものじゃなかったですけど。で、このなかに、「時計としての時間、または過
はじめての圏論 その第1歩：しりとりの圏 - 檜山正幸のキマイラ飼育記
全体目次： 第1歩：しりとりの圏 （このエントリー） 第2歩：行列の圏 第3歩：極端な圏達 第4歩：部分圏 第5歩：変換キューの圏 第6歩：有限変換キューと半圏 第7歩：アミダの圏 第8歩：順序集合の埋め込み表現 第9歩：基本に戻って、圏論感覚を養うハナシとか 付録／番外など： 中間付録A：絵を描いてみた 番外：同期／非同期の結合 中間付録B：アミダとブレイド 番外：米田の補題に向けてのオシャベリ 一部のプログラミング言語の背景として、圏論（カテゴリー論）が使われたりするせいか、以前に比べれば多少は圏論に興味を持つ人が増えたような気がしなくもないような。でも、安直な入門的文書はあまり見かけないですね。もちろん、シッカリした教科書や論説はあるんですが、どうもシッカリし過ぎているような。例えば、圏の例として「コンパクト・ハウスドルフ空間と連続写像の圏」とか言われてもねぇ（この例はいい例なんです
さまざまな「ならば」達 - 檜山正幸のキマイラ飼育記 (はてなBlog)
以下のエントリー群で断片的に述べていたことをまとめておきたい -- 「ならば」の論理的解釈とは何だろうか？ 含意＜がんい＞から伴意＜ばんい＞へ 伴意＜ばんい＞から含意＜がんい＞へ 論理（学）と仕様 ターンスタイルって知っている？ 帰結（consequence）の概念 記号法 まず記号： |= ：充足（satisfies; validity, correctness） |- ：証明可能（proves/derives; provability, derivability） ⇒ ：内容的含意（implies; conditional implication） ⊃ ：含意（implies） → ：？ |⇒ ：伴意、意味的帰結（entails; entailment, semantical consequence） 上の3つ（|=, |-, ⇒）は“地の文”で使うものだから、自然言語表現で代替できる
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
