Definition 6.112.
A Grothendieck topology \(\tau\) on a category \(C\) is called finitary if every \(\tau\)-covering sieve contains a \(\tau\)-covering sieve which is generated by a finite number of morphisms in \(C\).
Definition 6.112.
A Grothendieck topology \(\tau\) on a category \(C\) is called finitary if every \(\tau\)-covering sieve contains a \(\tau\)-covering sieve which is generated by a finite number of morphisms in \(C\).