I was thinking about categorical probability theory or measure theory based on locales. Unfortunately there are (to the best of my knowledge) no textbooks or go

I was thinking about categorical probability theory or measure theory based on locales. Unfortunately there are (to the best of my knowledge) no textbooks or good writeups available for either, merely long lines of research papers. As said, it's a bit of a niche area, since most mathematicians don't want to think about reworking foundations.