A -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 -category is the same as a category. The real value of the concept is to see how a category may be interpreted as a -category.
Last revised on October 28, 2022 at 13:21:49. See the history of this page for a list of all contributions to it.