This is a good thing about information and physics.
[it touches on category theory in there. You might like it]
This is also very good, although much is beyond me. It’s for a course in MIT on classical mechanics but starting from Lagrangian and Hamiltonian rather than Newton, using Scheme (a dialect of LISP) to prove computability.
I called it “systems of systems” once back in 2001, although I was thinking more along the lines of a master ontology I suspect.
Scheme is the language I’d program in if I wasn’t so lazy. Conceptually, I love it and I find it very readable. [but i love nesting]