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