denotes the collection of strict ∞-groupoids.
This is an (∞,1)-category, presented by the 1-category of the same name equipped with the model structure on strict ∞-groupoids.
Created on November 26, 2010 at 19:34:31. See the history of this page for a list of all contributions to it.