Assertion: limit | /r/HasProperty | denoted by lim f
Facets:
Source sentences:
text: J → C has a limit in C, denoted by lim F, there is a canonical isomorphism