>圏論の話なら別に圏論の基礎だけじゃなくていいよ
>ただし計算機科学の話はスレ違い
ついに自暴自棄になった？