Re: Category Theory and Databases

At Newcastle University, we have been studying the application of category theory to a number of information system problems, including the formalization of object-relational databases. Further information, including citations to some publications, can be found at: http://www.cs.ncl.ac.uk/people/b.n.rossiter/home.informal/