ロゴを作ったぞー、traced monoidal category

これは、トレース付きモノイド圏（traced monoidal categories）のロゴです。

直線が傾いているとか、下側のマルがもう少し大きいほうがいいとか、デザイン上の問題はあるけども、図形としてはコレだよ、やっぱり。

イメージは線形なトレース付きモノイド圏、上の直線が直接計算、下がloopingを表現している。いいねー、ロゴがあると盛り上がるね（なにが？）。

[追記]下側はマンマル（真円）がいいかな？[/追記]