Logic, type theory, category theory, functional programming, and Bayesian thinking may all be connectable in a grand unified theory.
Inspired by richard southwell and bartosz milewski youtube lectures on category theory.
abstract algebra seems to be relevant.