A closed category can be defined as a category V with a so called internal Hom functor
- ,
left Yoneda arrows natural in and and dinatural in
and a fixed object I of V such that there is a natural isomorphism
and a dinatural transformation
Read more about Closed Category: Examples
Famous quotes containing the words closed and/or category:
“No domain of nature is quite closed to man at all times.”
—Henry David Thoreau (18171862)
“I see no reason for calling my work poetry except that there is no other category in which to put it.”
—Marianne Moore (18871972)