A -category is locally groupoidal if each of its hom-categories is a groupoid. In other words, a locally groupoidal -category is a -category.
As the concept of -category makes sense either strictly or weakly (as a bicategory), so a locally groupoidal -category might be either a locally groupoidal strict -category or a locally groupoidal bicategory. As for -categories in general, it is really the strictness of the functors between them that matters.
Created on June 3, 2009 at 01:09:01. See the history of this page for a list of all contributions to it.