圏の定義をした後、圏の例として集合の圏$\textrm{Set}$やモノイドの圏$\textrm{Mon}$の説明があるのだが、ここでは、モノイドについて説明する。 ※CT4Sでは、事前に集合の圏論的な話をやって(Chapter2)、次にモノイドや群、プレ順序やグラフなどの説明(Chap…

圏について（CT4S 4.1.1) カテゴリ(圏)は、モノの集まり(collection)とそれらの関係について表したものだ。数学では、モノの集まり(collection)とそれらのpairの間の関係の型として解釈される。モノの関係性のたぐいを圏論として考えるとき、二つのルールを…

ecaとは ecaとは... wikiではあいまい回避で結構いろいろな定義がリストされるが、ここで話したいのは、elementary cellar automaton ... 一次元セルオートマトンのこと。 細かい話は、wikiを参照.。 セルオートマトンのプログラムを書いてみた。 #!/usr/bin…

圏論とリレーショナルデータベースの融合。これはおもしろい。 David Spivakさんは、MITでCategorical informaticsなる話を研究されている数学者。 Spivakさんのこの研究内容は、データベースエンジニアとしても無視できない技術内容ということで、論文をい…