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:52:53. See the history of this page for a list of all contributions to it.