Carleman Linearization of Parabolic PDEs: Well-posedness, convergence, and efficient numerical methods | Synapse