9.3.2.3 Connected Categories

A category $\mathcal{C}$ is connected if $\pi _{0}\webleft (\mathcal{C}\webright )\cong \text{pt}$.1,2


1Further Terminology: A category is disconnected if it is not connected.
2Example: A groupoid is connected iff any two of its objects are isomorphic.


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: