대수학의 세 주요 분과에 대한 분류의 근거와 범주적 경계