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.
Pages in category "Closed categories"
The following 5 pages are in this category, out of 5 total. This list may not reflect recent changes.