Category:Closed categories
From Wikipedia, the free encyclopedia
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.