What is the "right" analog in the orbifold case of a singular homology of a topological space? We can not just take the homology of the underlying space, because it does not contain much imformationinformation. For example, is there any kind homology of orbifoldorbifolds such that the first homology group is abelienthe abelianization of the fundamental group of the orbifold? And a n dimsuch that an $n$-dim orbifold will have all homology group higher than n dim$n$-dim equal to zero? And if there is such a homology, will there be Poincare duality in the orbifold case???
Thanks very much!