『プログラマーのための圏論』第3章を読み、空圏・自由圏・順序・モノイドを圏として捉え直す。

プログラマーのための圏論を読んでいて、(プログラム) 意味論なる概念が出てきた。 代表的なものとして、次の3つがあるらしい。 表示的意味論 操作的意味論 公理的意味論 これらの雰囲気を知りたくて調べて...