Closed monoidal category

A closed monoidal category is a type of mathematical structure that helps us think about things in different ways. This structure lets us take two things and combine them together, and also take two things apart if needed. For example, we use this structure to think about things like adding and subtracting numbers, or combining ingredients together in a recipe.