nLab
strict n-groupoid

A strict nn-groupoid is an ∞-groupoid that is both a strict ∞-groupoid as well as an n-groupoid.

Created on July 14, 2010 at 16:53:04. See the history of this page for a list of all contributions to it.