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.