microcategory

Today it means: A category that is a subset of a larger category (the macrocategory), especially one that has very few members. Full definition →