>>497
というか、圏論って、イントロダクションに400ページも必要なの?