代数三大分野の区分とカテゴリー境界の基礎