Closed category

In category theory, a **closed category** typically refers to a category that has certain properties analogous to those found in the category of sets with respect to the concept of function spaces.