Strictification of categories weakly enriched in symmetric monoidal categories
math.CT
/ Authors
/ Abstract
We offer two proofs that categories weakly enriched over symmetric monoidal categories can be strictified to categories enriched in permutative categories. This is a "many 0-cells" version of the strictification of bimonoidal categories to strict ones.