[denverllc]

I read a book on category theory that described how to model databases using category theory.

My conclusion was that the goal was not to provide insight into databases but rather into category theory, which seemed backwards to me.

Instead I picked up some books on the relational algebra/logic for databases, and those books were actually useful — you could show that some set of transformations would be mathematically identical.

At some point, too high level of abstraction is not useful. For category theory, it seemed that the point was to show how all these different things were “similar” but in a way that didn’t allow you to do anything with it.