locally discrete 2-category

A $2$-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 $2$-category is the same as a category. The real value of the concept is to see how a category may be interpreted as a $2$-category.

Created on July 24, 2009 18:02:29
by Toby Bartels
(71.104.230.172)