Definition 4.16.1. We say that a category $\mathcal{I}$ is connected if the equivalence relation generated by $x \sim y \Leftrightarrow \mathop{\mathrm{Mor}}\nolimits _\mathcal {I}(x, y) \not= \emptyset $ has exactly one equivalence class.
Definition 4.16.1. We say that a category $\mathcal{I}$ is connected if the equivalence relation generated by $x \sim y \Leftrightarrow \mathop{\mathrm{Mor}}\nolimits _\mathcal {I}(x, y) \not= \emptyset $ has exactly one equivalence class.
Comments (0)
There are also: