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

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).