In a traced monoidal category, there is a special class of maps called strict maps which give a proof principle for showing when traces of maps are equal. In this talk, we’ll consider monoids whose multiplication and unit are strict maps, which we call strict monoids. In particular, the strict monoids form a traced coCartesian monoidal category.