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