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