Galois descent theorem in general categories | Synapse