The category of equilogical spaces and the effective topos as homotopical quotients