Subsubsection 8.2.2.3 (00YG): Connected Categories

Preferences

Font:

PDF Style:

Here's a breakdown of the differences between each PDF style:

Style	Class	Font	Theorem Environments
Style 1	`book`	Alegreya Sans	`tcbthm`
Style 2	`book`	Alegreya Sans	`amsthm`
Style 3	`book`	Arno*	`amsthm`
Style 4	`book`	Computer Modern	`amsthm`

*To be replaced with Linus Romer's Elemaints when it is released.

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

Footnotes

[1] Further Terminology: A category is disconnected if it is not connected.

[2] Example: 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: