The spectrum of a locally coherent categoryHenning