Il "lifting" categoriale dalla topologia alla logica