>>95
モデル理論とかばんばん圏論とロジックが融合してるじゃない。
ただ数学の方の圏論とは使い方が違うけど。