The argument in the article that inspired this work[1] (and it may be an academic one) is that data models are all semantically very similar. The authors argue that category theory provides mathematical formalism for a generic abstraction that would bridge both the relational and K/V worlds.

The ideas all seem very formative to me. There are a bunch of assumptions, logic gaps, etc. But it's not all bad.

[1] http://cacm.acm.org/magazines/2011/4/106584-a-co-relational-...