Topos Institute is a nonprofit applying category theory and applied logic to make complex systems composable — formal machinery for wiring models together across domains and scales, plus open tools like AlgebraicJulia to actually run them. It’s the most serious attempt I know at the math for seeing the small and the large at once — the “simultanescope” problem stated rigorously. Led by Brendan Fong and David Spivak, authors of Seven Sketches in Compositionality.
