Remark. [007R]

Notice how the definition of groupoid cardinality is crafted explicitly to be an invariant with respect to equivalence of categories.

Proof. TODO

Consider for example the terminal category as well as the groupoid with two isomorphic objects and the obvious 4 morphisms. Both are equivalent as categories and indeed they both have cardinality 1.