Assertion: sieve | /r/HasProperty | a collection s of arrows
Facets:
Source sentences:
text: Put another way, a sieve is a collection S of arrows with a common codomain that satisfies the functoriality condition,