スピヴァックの圏論教科書 Category theory for scientists - 檜山正幸のキマイラ飼育記

2013/03/04 34 users 備忘 title 檜山正幸 キマイラ飼育記 講義

雑記／備忘 | 18:20 | 関手データモデルのデイヴィッド・スピヴァックが、圏論の教科書を書いたようです。商業出版ではなくて、Web上にPDFが公開されています。スピヴァックの大学での講義のテキストとして書かれたようです。 Title: Category theory for scientists Author: David I. Spivak Submitted: 27 Feb 2013 U... 続きを読む

衝撃的なデータベース理論・関手的データモデル 入門 - 檜山正幸のキマイラ飼育記

2013/02/11 474 users キマイラ飼育記 檜山正幸 入門 備忘 データモデル

雑記／備忘 | 19:04 | デイヴィッド・スピヴァックによる衝撃的なデータベース理論である関手的データモデル。どうしたらうまく説明できるか？ と色々と悩んでしまいますが、まー、書けるところから書き始めてしまいましょう。さー、いらっしゃい、いらっしゃい。関手的データモデルの世界へようこそ。圏論の言葉は出てきますが、圏論の予備知識はほぼゼロでOKですよ。内容： はじめに 本の購入のサンプルスキーマ... 続きを読む

デイヴィッド・スピヴァックはデータベース界の革命児か -- 関手的データモデル - 檜山正幸のキマイラ飼育記

2013/01/28 118 users キマイラ飼育記 檜山正幸 革命児 関手的データモデル

雑記／備忘 | 14:06 | 最近、「おおおー、これは凄い、すんばらしい！」と思ったことがあるので、それについて書きます。最初に言葉についてのお断り； "categorical"の訳語をどうしようか？ と。片仮名で「カテゴリカル」が無難ですが、漢字で書きたい。「圏論的」が落ち着きがいいようですが、必ずしも「論」の意味を含まないときもあります。そこで、以下、「圏的」を使います。スピヴァックと関手的... 続きを読む