計算機とか直観主義論理とかの関係無い
いわゆる「数学的」な話がしたいなら圏論スレじゃなくて
ホモロジー代数スレとか立てた方が良いんじゃないの？

前回の数セミ二月号に載ってたような話がどうなるかは知らんけど