I do think category theory professors or similar would be reasonable advisors for certain types of MIRI research.
I do think category theory professors or similar would be reasonable advisors for certain types of MIRI research.