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:
“It’s like pushing marbles through a sieve. It means the sieve will never be the same again.”
—Before the 1972 Democratic Convention in Miami. As quoted in Crazy Salad, ch. 6, by Nora Ephron (1972)