『プログラマのための圏論』はこれまでの分をまとめてPDFファイルにしました。参考にしてください。

昨日、近くのカルディで三色ニョッキを手に入れた。ニョッキはジャガイモと小麦粉から作られるイタリア料理だ。そこに、トマトを加えると赤に、ほうれん草だと緑になる。これを利用したのが三色ニョッキだ。ニョッキの由来をウィキペディアで調べてみると、…

４．７ C++プログラムから圏を作成する(続き) 前回の記事で、曜日を進めるプログラムの開発状況を手順を追いながら、説明した。このプログラムは、曜日を進める関数\(increase\)と遅らせる関数\(decrease\)から出発した。最初に作った関数は、値をどこにも記…

４．７ C++プログラムから圏を作成する いろいろな圏を見てきたので、ここでは、プログラマーにとっては大事なプログラムを圏として構成することを考えよう。 １）曜日を進めるプログラム ここで、作成するプログラムを曜日を進めたり遅らせたりするプログラ…

前回の記事は、ホモトピー論まで含まれていたので、とても高度な数学的概念が含まれていた。それにもめげず、沢山の人が記事を読んでくださったようで、感謝している。今回は現実の世界に戻して、二項演算子の世界を圏にすることを考えよう。 ４．６ 二項演…

４．様々な圏の作成 圏に馴染むためにいくつかの例を挙げることにしよう。 ４．１ 空圏 圏の中でもっとも単純な圏は、対象も射も持たない。このため、恒等射も存在しないことになる。これは空圏(圏0)と呼ばれる。その構成を挙げておこう。 1) 対象：なし 2) …

３．２ 集合の要素を射に 集合の世界は要素を中心に考えるが、圏論の世界は射を中心に考える。そこで、集合を考えるとき、その要素を射に変えるものが必要となる。 その役割を果たしてくれるのが、一つだけの要素からなる集合である。この集合はシングルトン…

３．集合の世界から圏論の世界へ ごちゃごちゃしたミクロの世界をかなぐり捨てて雄大なマクロの世界（宇宙）へ旅立つことにしよう。数学でのミクロな世界は集合で、雄大な宇宙は圏論である。集合は、要素の集まりとして定義される。また、集合を論じるときは…