trace_附き_monoidal_圈