組紐付きモノイダル圏