Assertion: limit | /r/HasProperty | identified with the set of all cones
Facets:
value: from n
type: LOCATION
Source sentences:
text: The first step is to observe that the limit of the functor Hom(N, F–) can be identified with the set of all cones from N to F: