Definition 2.34.
Let \(T\) be a topos. A pointed connected object is an object \(X\) equipped with an effective epimorphism \(* \twoheadrightarrow X\). We denote by \(T^{\geq 1}_* \subseteq T_*\) the subcategory of pointed connected objects.
Definition 2.34.
Let \(T\) be a topos. A pointed connected object is an object \(X\) equipped with an effective epimorphism \(* \twoheadrightarrow X\). We denote by \(T^{\geq 1}_* \subseteq T_*\) the subcategory of pointed connected objects.