Definition 1.1.1 (Category).label A category is a collection $\mathfrak{C}$ such that: blablablablaPowered by Spec