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:
“For a long time, I went to bed early. Sometimes, my candle barely put out, my eyes closed so quickly that I did not have the time to say to myself: “I am falling asleep”.”
—Marcel Proust (1871–1922)
“Despair is typical of those who do not understand the causes of evil, see no way out, and are incapable of struggle. The modern industrial proletariat does not belong to the category of such classes.”
—Vladimir Ilyich Lenin (1870–1924)