Matches in DBpedia 2016-04 for { ?s ?p "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) takes two objects to the 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 morphisms from one object to another can be seen as lying inside the category. This is the internal hom [x,y].Every closed category has a forgetful functor to the category of sets, which in particular takes the internal hom to the external hom."@en }
Showing triples 1 to 2 of
2
with 100 triples per page.
- Closed_category abstract "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) takes two objects to the 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 morphisms from one object to another can be seen as lying inside the category. This is the internal hom [x,y].Every closed category has a forgetful functor to the category of sets, which in particular takes the internal hom to the external hom.".
- Q5135329 abstract "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) takes two objects to the 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 morphisms from one object to another can be seen as lying inside the category. This is the internal hom [x,y].Every closed category has a forgetful functor to the category of sets, which in particular takes the internal hom to the external hom.".