%.exe : %.cpp g++ -o $@ $< %.exe : %.c gcc -o $@ $

生成元が6つ ニョロニョロ関係式が4つ マル関係式が2つ 生成元： ↑, ↓, ∩→, ←∩, ∪→, ←∪ 関係：□は単位対象Iの恒等を表すとする。 ニョロニョロは割愛 マル関係式 時計回り： ∩→;←∪ = □, マル関係式 反時計回り： ←∩;∪→ = □ [追記]TeX記法で書くと多少はマシ…