圏論の本で計算機科学への応用について長々と書いたら本題から離れてることになるだろ