Assertion: sieve | /r/MadeOf | all arrows fg
Facets:
value: for each object
type: TRANSITIVE-OBJECT
Source sentences:
text: For each object d of C, this sieve will consist of all arrows fg, where g:d→c′ is an arrow of f*S(d).