Commit 2024-02-12 14:11 22379b09
View on Github →feat(CategoryTheory/Sites): characterise the covering sieves of the regular topology (#9976) Analogous to the characterisation for the covering sieves of the coherent topology: A sieve is a covering sieve for the regular topology iff it contains an effective epi.
- depends on: #9944