Closed category

In category theory, a branch of mathematics, a closed category is a special kind of category. In category theory, a branch of mathematics, a closed category is a special kind of category. In a locally small category, the external hom (x, y) maps a pair of objects to a set of morphisms. So in the category of sets, this is an object of the category itself. In the same vein, in a closed category, the (object of) morphisms from one object to another can be seen as lying inside the category. This is the internal hom . Every closed category has a forgetful functor to the category of sets, which in particular takes the internal hom to the external hom. A closed category can be defined as a category C {displaystyle {mathcal {C}}} with a so-called internal Hom functor with left Yoneda arrows natural in B {displaystyle B} and C {displaystyle C} and dinatural in A {displaystyle A} and with a fixed object I {displaystyle I} of C {displaystyle {mathcal {C}}} such that there is a natural isomorphism and a dinatural transformation