The category of (small) groupoids is the full subcategory $\mathsf{Grpd}$ of $\mathsf{Cats}$ spanned by the groupoids.
