A representability theorem for some huge abelian categories