Definition. Maximal sieve [IGSL]

Lîm Tsú-thuàn

In a category C\mathcal{C}, a maximal sieve of an object X∈CX \in \mathcal{C} is defined as

MX:={f∣cod(f)=X}M_X := \{ f \mid \text{cod}(f) = X \}