Closed category
id:
closed-category-285-1027925
title:
Closed category
text:
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 [x, y]. Every closed category has a forgetful functor to the category of sets
brand slug:
wiki
category slug:
encyclopedia
description:
Category whose hom objects correspond (di-)naturally to objects in itself
original url:
https://en.wikipedia.org/wiki/Closed_category
date created:
date modified:
2022-09-08T10:57:46Z
main entity:
{"identifier":"Q5135329","url":"https://www.wikidata.org/entity/Q5135329"}
image:
fields total:
13
integrity:
14