Euler characteristic versus homotopy cardinality