Most learning theories are either cognitive (mental models) or statistical (Bayesian update), and rarely formalize how knowledge transforms across abstraction layers.