lec18-category-partition