Ahualulco de Mercado lleva ese nombre en su honor.