nLab
omega-groupoid

Idea

An $\omega$-groupoid is an $\omega$-category in which all morphisms have an inverse at every level; how strict the $\omega$-category and the inverses must be can vary. Most authors that use the term ‘$\omega$-groupoid’ mean strict ω-groupoid by default.