Closed category
= Closed category
{wiki=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.