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 16:53:04 by Urs Schreiber (87.212.203.135)