logic, spectrums, and categories