妄想
モノイド*1の元をf, g, h, ... として、積を h * g * f と書く。
h*g*f (ふつうに書く) ----------------------------- h * g * f (間延びさせる) ----------------------------- h * g * f (なんとなく矢印を書いてみる) <-- <-- <-- ----------------------------- h g f <-- * <-- * <-- (なんとなく*を降ろしてみる) ----------------------------- h g f * <-- * <-- * <-- * (なんとなく*ではさんでみる)
なるほど。対象が掛け算記号1つだけの圏ですね。
対象が掛け算記号「*」と足し算記号「+」2つだけとかにするとどんなものになるんだろうか。