Categories for Collision Repair