2006-04-24 Cisinski, Batanin higher groupoids and homotopy types math http://jp.arxiv.org/abs/math.AT/0604442 ホモトピー型は弱高次亜群でとらえられる.