Category talk:Lipschitz maps