> that has revolutionized several areas of computer science

That is quite a claim. I will argue that Categorical Databases most definitely haven't. Any areas where it is true?