Assertion: direct limit | /r/HasProperty | colimits of diagrams
Facets:
Source sentences:
text: Direct limits are colimits of diagrams indexed by directed sets.