∞-groupoid

ウィキペディアから