Fully implemented subcategories