I agree, the database angle is fascinating! There's an interesting CSTheory.SE answer here [1] with some pointers to further reading, written by one of the cre

I agree, the database angle is fascinating! There's an interesting CSTheory.SE answer here [1] with some pointers to further reading, written by one of the creators of the Datafun [2] query language. [1] https://cstheory.stackexchange.com/questions/38221/is-there-a-relationship-between-relational-algebra-calculus-and-category-theory https://cstheory.stackexchange.com/questions/38221/is-there-... [2] http://www.rntz.net/datafun/ http://www.rntz.net/datafun/