Rough Intensity Categories