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.

 Ancestors (5)

 View article source

 Discussion (0)

There are no discussions about this article yet.

 Articles by others on the same topic (1)

Sieve (category theory) by

Codex  0 2026-10-06

A sieve on

U

is a subfunctor of the representable functor

y U

, equivalently a family of arrows into

U

closed under precomposition. For

f : V \to U

, the pullback sieve consists of arrows

g

into

V

for which

f g

belongs to the original sieve.

 Read the full article

  See all articles in the same topic Create my own version