Lîm Tsú-thuàn Posts Notes Projects Talks Site Roll

Property. Maximality axiom [BEIE]

Lîm Tsú-thuàn

The maximal sieve $M_X \mathbin{⪧}_J X$ .

Context

Definition. Grothendieck topology [ZD97]

Backlinks

Proposition. For any sieve $R$ in $J$ , bigger sieve $S \supseteq R$ also in $J$ [7R33]

Related

Definition. Maximal sieve [IGSL]