Source: /wikibot/cartesian-monoidal-category

= Cartesian monoidal category
{wiki=Cartesian_monoidal_category}