連投は悪しからずで遊びの話なので、個人的な考えだけ述べておくと
そういう実在論が洗練され将来的に何らかの意味を持つ可能性は否定できないが、そういうことをせずに
圏論やZFCに基づいたABC予想の証明は十分可能だと思っている
ただし「圏の幾何」という書き方は誤解を招くから如何なものかとは思う

確かにIUTのテータ因子なるものはフロベニオイドとかガロア圏とかそういうもので構成されてはいるが
今の数学から見れば特殊な実在論に言及していることを無視するわけにはいかないだろう