Categories for Pool Repair