classical_category_defined_by_necessary_and_sufficient_conditions - NISHIO Hirokazu's Scrapbox (Auto-translated from Japanese)