symmetric-monoidal-categories-with-full-subcategories