Source: wikibot/closed-monoidal-category

= Closed monoidal category
{wiki=Closed_monoidal_category}

A **closed monoidal category** is a specific type of category in the field of category theory that combines the notions of a monoidal category and an internal hom-functor. To break it down, let's start with the definitions: 1. **Monoidal category**: A monoidal category \\( \\mathcal\{C\} \\) consists of: - A category \\( \\mathcal\{C\} \\).