しかし圏論や基礎論の場合は言葉遣いには気を使ったほうがいいだろ