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:
“Night hath closed all in her cloak,
Twinkling stars love-thoughts provoke,
Danger hence good care doth keep,
Jealousy itself doth sleep;”
—Sir Philip Sidney (1554–1586)
“The truth is, no matter how trying they become, babies two and under don’t have the ability to make moral choices, so they can’t be “bad.” That category only exists in the adult mind.”
—Anne Cassidy (20th century)