locally discrete 2-category

A 22-category is locally discrete if each hom-category is a discrete category.

Just as a discrete category is the same as a set, so a locally discrete 22-category is the same as a category. The real value of the concept is to see how a category may be interpreted as a 22-category.

Created on July 24, 2009 at 18:02:29. See the history of this page for a list of all contributions to it.