 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} \).