一時期、記号回路というものを定式化しようとして、どうもうまくいかなかった。今考えたら、実はモナド（のクライスリ圏）だった。Aが有向グラフとして、その自由圏FC(A)、自由モノイド圏FMC(A)、自由対称モノイド圏FSMC(A)などが定義できて有向グラフの圏上…

external edge, internal edge という言い方はやっぱりある。外線、内線というらしいが、ほんとは外辺、内辺だよね。