Грубо говоря, множества первой категории являются «маленькими» а второй «большими». В этом смысле понятие категории напоминает понятие
меры, однако в отличие от меры категория подмножества зависит только от топологии объемлющего пространства. Это делает удобным её применение в пространствах без естественно определённой меры. Например используя категорию можно придать точный смысл таким понятиям как «почти все компактные выпуклые подмножества
евклидова пространства».