>>289
圏論の話なら別に圏論の基礎だけじゃなくていいよ
ただし計算機科学の話はスレ違い
圏論が好きだから計算機科学も好きとは限らない