必要十分条件によって規定される古典的カテゴリー