Categories in Experimental Particle Physics and Gravity