トレース付きモノイダル圏