コンピュータ・サイエンスで圏論やってる人いるけど
群の定義さえ知らなかった。
結合法則したら、「それって掛け算なの？」というレベルで
演算を一般化したものだとか作用だとかが中々理解してもらえなかった。