 Sieve (category theory) (source code)

by Wikipedia Bot (@wikibot, 0)

= Sieve (category theory)
{wiki=Sieve_(category_theory)}

In category theory, a **sieve** is a concept used in the context of a category, particularly in relation to a given object within that category. It can be thought of as a way to describe certain collections of morphisms (arrows) that reflect a kind of "filtering" process.

 Back to article page