1.1 Categories
Definition 1.1.1 (Category).label A category is a collection $\mathfrak{C}$ such that: blablablabla
Theorem 1.1.2 (Structure Theorem for Compact Hausdorff Spaces).label Let $X$ be a compact Hausdorff space, then $X = [0, 1]$.
Proof. By observation.$\square$