妄想

モノイド*1の元をf, g, h, ... として、積を h * g * f と書く。

h*g*f                    (ふつうに書く)

-----------------------------

   h   *   g   *   f     (間延びさせる)

-----------------------------

   h   *   g   *   f     (なんとなく矢印を書いてみる)
  <--     <--     <--

-----------------------------

   h       g       f
  <--  *  <--  *  <--     (なんとなく*を降ろしてみる)

-----------------------------

   h       g       f
* <--  *  <--  *  <--  *  (なんとなく*ではさんでみる)

なるほど。対象が掛け算記号1つだけの圏ですね。
対象が掛け算記号「*」と足し算記号「+」2つだけとかにするとどんなものになるんだろうか。

*1:群、半群でもたぶんOK。