Categories in HL-LHC WP3 IR Magnets