カテゴリー論 (46)

Limitへ。テキストの書き方があいまいで読みにくい。ホントならこんなところは適当に読み飛ばすのだが、とりあえず一字一句付き合ってしまうのは哲学書を読み慣れた悪い癖か。overcone categoryのterminal objectとして定義するのか、universal coneを使って定義するのか。