そういえば、あとは、ここにカテゴリ論(圏論)の最低限の理論はかいてましたね。 http://amzn.asia/aXFi7bh