I think that the category of coherent sheaves on a scheme is abelian (maybe the scheme has to be qcqs, I am bad with schematic monsters). Are there some geometric conditions on the scheme that imply that the category of coherent sheaves is semisimple?