Assertion: limit | /r/HasProperty | any object
Facets:
value: namely
type: DEGREE
Source sentences:
text: The limit of F is any object that is uniquely factored through by every other object.
text: The limit of is called the of these objects.
text: The limit of is any object that is uniquely factored through by every other object.
text: More generally, if J is any category with an initial object i , then any diagram of shape J has a limit, namely any object isomorphic to F ( i ).