Will probably edit it, as many people complained. The focus here is useful predictions, in the sense of predictions that have utilitarian value, but string theory doesn't make any predictions at all, which is another issue altogether.
See for example https://profmattstrassler.com/2022/03/20/a-prediction-from-s...
Search for SUEP to cut to the chase.
That aside, thank you for putting this out there. You're explaining advanced math and that's awesome. This is just a quibble about the intro. I'm checking out the rest now (I was only ever a brief and superficial user of category theory). I think I have already learned some things and been refreshed on others!