Cartan–leray Spectral Sequence for Galois Coverings of Categories