범주를 좁히면 집합이 되는 건가