Definition. Groupoid Cardinality [007P]

For the cardinality of a groupoid we pick a representative for each isomorphism class of objects in . Each representative then contributes to the formal sum by , where denotes the cardinality of the automorphism group of x. In symbols

In the case where is finite for all and the series converges we may evaluate it to a real number.