Lawvere space

generalization of metric spaces