Congruences

Let \(T\) be a logos. A collection of morphisms \(K\) in \(T\) is called a congruence of small generation if it satisfies the following conditions:

1. \(K\) is strongly saturated of small generation (see Section A.3).

2. \(K\) is closed under base change.