Free strict monoidal category

From HandWiki