Category:Closed categories

In category theory, a category is called closed when, loosely, there is an object as good as each instance of the Hom functor Hom(A,B). Various types of closed category matter in applications.