  The anomaly cancellation is at the basis of the perturbative consistence of
the Standard Model and it provides a partial explanation of charge
quantization. We consider an effective Electroweak theory on a lattice, with a
quartic interaction describing the weak forces and an interaction with the e.m.
field. We prove the validity of the anomaly cancellation at a non perturbative
level and with a finite lattice cut-off, even if the lattice breaks some
important symmetries, on which perturbative arguments for the cancellation are
based. The method of the proof has analogies with the one adopted for
establishing universality in transport of quantum materials.
