Sieve (category Theory)
In category theory, a branch of mathematics, a sieve is a way of choosing arrows with a common codomain. It is a categorical analogue of a collection of open subsets of a fixed open set in topology. In a Grothendieck topology, certain sieves become categorical analogues of open covers in topology.
Read more about Sieve (category Theory): Definition, Pullback of Sieves, Properties of Sieves
Famous quotes containing the word sieve:
“They went to sea in a Sieve, they did,
In a Sieve they went to sea:
In spite of all their friends could say,
On a winter’s morn, on a stormy day,”
—Edward Lear (1812–1888)