Closed category (source code)

= 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.